Serre quotients are implemented using generalized morphisms. A Serre quotient category is the quotient of an abelian category A by a thick subcategory C. The objects of the quotient are the objects from A, the morphisms are a limit construction. In the implementation those morphisms are modeled by generalized morphisms, and therefore there are, like in the generalized morphism case, three types of Serre quotients.
As in the generalized morphism case, the generic constructors depend on the generalized morphism standard. Please note that for implementations the specialized constructors should be used.
‣ IsSerreQuotientCategoryObject( arg ) | ( filter ) |
Returns: true or false
The category of objects in the category of Serre quotients. For actual objects this needs to be specialized.
‣ IsSerreQuotientCategoryMorphism( arg ) | ( filter ) |
Returns: true or false
The category of morphisms in the category of Serre quotients. For actual morphisms this needs to be specialized.
‣ SerreQuotientCategory( A, func[, name] ) | ( operation ) |
Returns: a CAP category
Creates a Serre quotient category S with name name out of an Abelian category A. If name is not given, a generic name is constructed out of the name of A. The argument func must be a unary function on the objects of A deciding the membership in the thick subcategory C mentioned above.
‣ AsSerreQuotientCategoryObject( A/C, M ) | ( operation ) |
Returns: an object
Given a Serre quotient category A/C and an object M in A, this constructor returns the corresponding object in the Serre quotient category.
‣ SerreQuotientCategoryMorphism( A/C, phi ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C and a generalized morphism phi in the generalized morphism category A/C is modeled upon, this constructor returns the corresponding morphism in the Serre quotient category.
‣ SerreQuotientCategoryMorphism( A/C, iota, phi, pi ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C and three morphisms \(\iota: M' \rightarrow M\), \(\phi: M' \rightarrow N'\) and \(\pi: N \rightarrow N'\) this operation contructs a morphism in the Serre quotient category.
‣ SerreQuotientCategoryMorphism( A/C, alpha, beta ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C and two morphisms of the form \(\alpha: X \rightarrow M\) and \(\beta: X \rightarrow N\) or \(\alpha: M \rightarrow X\) and \(\beta: N \rightarrow X\), this operation constructs the corresponding morphism in the Serre quotient category. This operation is only implemented if A/C is modeled upon a span generalized morphism category in the first option or upon a cospan category in the second.
‣ SerreQuotientCategoryMorphismWithSourceAid( A/C, alpha, beta ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C and two morphisms \(\alpha: M \rightarrow X\) and \(\beta: X \rightarrow N\) this operation constructs the corresponding morphism in the Serre quotient category.
‣ SerreQuotientCategoryMorphismWithRangeAid( A/C, alpha, beta ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C and two morphisms \(\alpha: X \rightarrow M\) and \(\beta: X \rightarrow N\) this operation constructs the corresponding morphism in the Serre quotient category.
‣ AsSerreQuotientCategoryMorphism( A/C, phi ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C and a morphism phi in A, this constructor returns the corresponding morphism in the Serre quotient category.
‣ SubcategoryMembershipTestFunctionForSerreQuotient( C ) | ( attribute ) |
Returns: a function
When a Serre quotient category is created, a membership function for the subcategory is given. This attribute stores and returns this function
‣ UnderlyingHonestCategory( A/C ) | ( attribute ) |
Returns: a category
For a Serre quotient category A/C this attribute returns the category A.
‣ UnderlyingGeneralizedMorphismCategory( A/C ) | ( attribute ) |
Returns: a category
For a Serre quotient category A/C this attribute returns generalized morphism category the quotient is modelled upon.
‣ UnderlyingGeneralizedObject( M ) | ( attribute ) |
Returns: an object
For an object M in the Serre quotient category A/C this attribute returns the corresponding object in the generalized morphism category the quotient is modelled upon.
‣ UnderlyingHonestObject( M ) | ( attribute ) |
Returns: an object
For an object M in the Serre quotient category A/C this attribute returns the corresponding object in A.
‣ UnderlyingGeneralizedMorphism( phi ) | ( attribute ) |
Returns: a morphism
For a morphism phi in the Serre quotient category A/C this attribute returns the corresponding generalized morphism in the generalized morphism category the quotient is modelled upon.
‣ CanonicalProjection( A/C ) | ( attribute ) |
Returns: a functor
Given a Serre quotient category A/C, this operation returns the canonical projection functor \( A \rightarrow A/C \).
‣ SerreQuotientCategoryByCospans( A, func[, name] ) | ( operation ) |
Returns: a CAP category
Creates a Serre quotient category S with name name out of an Abelian category A. The Serre quotient category will be modeled upon the generalized morphisms by cospans category of A If name is not given, a generic name is constructed out of the name of A. The argument func must be a unary function on the objects of A deciding the membership in the thick subcategory C mentioned above.
‣ AsSerreQuotientCategoryByCospansObject( A/C, M ) | ( operation ) |
Returns: an object
Given a Serre quotient category A/C modeled by cospans and an object M in A, this constructor returns the corresponding object in the Serre quotient category.
‣ SerreQuotientCategoryByCospansMorphism( A/C, phi ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C modeled by cospans and a generalized morphism phi in the generalized morphism category A/C is modeled upon, this constructor returns the corresponding morphism in the Serre quotient category.
‣ SerreQuotientCategoryByCospansMorphism( A/C, iota, phi, pi ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C modeled by cospans and three morphisms \(\iota: M' \rightarrow M\), \(\phi: M' \rightarrow N'\) and \(\pi: N \rightarrow N'\) this operation contructs a morphism in the Serre quotient category.
‣ SerreQuotientCategoryByCospansMorphismWithSourceAid( A/C, alpha, beta ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C modeled by cospans and two morphisms \(\alpha: M \rightarrow X\) and \(\beta: X \rightarrow N\) this operation constructs the corresponding morphism in the Serre quotient category.
‣ SerreQuotientCategoryByCospansMorphism( A/C, alpha, beta ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C modeled by cospans and two morphisms \(\alpha: X \rightarrow M\) and \(\beta: X \rightarrow N\) this operation constructs the corresponding morphism in the Serre quotient category.
‣ AsSerreQuotientCategoryByCospansMorphism( A/C, phi ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C modeled by cospans and a morphism phi in A, this constructor returns the corresponding morphism in the Serre quotient category.
‣ SerreQuotientCategoryBySpans( A, func[, name] ) | ( operation ) |
Returns: a CAP category
Creates a Serre quotient category S with name name out of an Abelian category A. The Serre quotient category will be modeled upon the generalized morphisms by spans category of A If name is not given, a generic name is constructed out of the name of A. The argument func must be a unary function on the objects of A deciding the membership in the thick subcategory C mentioned above.
‣ AsSerreQuotientCategoryBySpansObject( A/C, M ) | ( operation ) |
Returns: an object
Given a Serre quotient category A/C modeled by spans and an object M in A, this constructor returns the corresponding object in the Serre quotient category.
‣ SerreQuotientCategoryBySpansMorphism( A/C, phi ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C modeled by spans and a generalized morphism phi in the generalized morphism category A/C is modeled upon, this constructor returns the corresponding morphism in the Serre quotient category.
‣ SerreQuotientCategoryBySpansMorphism( A/C, iota, phi, pi ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C modeled by spans and three morphisms \(\iota: M' \rightarrow M\), \(\phi: M' \rightarrow N'\) and \(\pi: N \rightarrow N'\) this operation contructs a morphism in the Serre quotient category.
‣ SerreQuotientCategoryBySpansMorphism( A/C, alpha, beta ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C modeled by spans and two morphisms \(\alpha: M \rightarrow X\) and \(\beta: X \rightarrow N\) this operation constructs the corresponding morphism in the Serre quotient category.
‣ SerreQuotientCategoryBySpansMorphismWithRangeAid( A/C, alpha, beta ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C modeled by spans and two morphisms \(\alpha: X \rightarrow M\) and \(\beta: X \rightarrow N\) this operation constructs the corresponding morphism in the Serre quotient category.
‣ AsSerreQuotientCategoryBySpansMorphism( A/C, phi ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C modeled by spans and a morphism phi in A, this constructor returns the corresponding morphism in the Serre quotient category.
‣ SerreQuotientCategoryByThreeArrows( A, func[, name] ) | ( operation ) |
Returns: a CAP category
Creates a Serre quotient category S with name name out of an Abelian category A. The Serre quotient category will be modeled upon the generalized morphisms by three arrows category of A If name is not given, a generic name is constructed out of the name of A. The argument func must be a unary function on the objects of A deciding the membership in the thick subcategory C mentioned above.
‣ AsSerreQuotientCategoryByThreeArrowsObject( A/C, M ) | ( operation ) |
Returns: an object
Given a Serre quotient category A/C modeled by three arrows and an object M in A, this constructor returns the corresponding object in the Serre quotient category.
‣ SerreQuotientCategoryByThreeArrowsMorphism( A/C, phi ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C modeled by three arrows and a generalized morphism phi in the generalized morphism category A/C is modeled upon, this constructor returns the corresponding morphism in the Serre quotient category.
‣ SerreQuotientCategoryByThreeArrowsMorphism( A/C, iota, phi, pi ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C modeled by three arrows and three morphisms \(\iota: M' \rightarrow M\), \(\phi: M' \rightarrow N'\) and \(\pi: N \rightarrow N'\) this operation contructs a morphism in the Serre quotient category.
‣ SerreQuotientCategoryByThreeArrowsMorphismWithSourceAid( A/C, alpha, beta ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C modeled by three arrows and two morphisms \(\alpha: M \rightarrow X\) and \(\beta: X \rightarrow N\) this operation constructs the corresponding morphism in the Serre quotient category.
‣ SerreQuotientCategoryByThreeArrowsMorphismWithRangeAid( A/C, alpha, beta ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C modeled by three arrows and two morphisms \(\alpha: X \rightarrow M\) and \(\beta: X \rightarrow N\) this operation constructs the corresponding morphism in the Serre quotient category.
‣ AsSerreQuotientCategoryByThreeArrowsMorphism( A/C, phi ) | ( operation ) |
Returns: a morphism
Given a Serre quotient category A/C modeled by three arrows and a morphism phi in A, this constructor returns the corresponding morphism in the Serre quotient category.
generated by GAPDoc2HTML