Serre Quotients 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.
General operations 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. true or false The category of objects in the category of Serre quotients. For actual objects this needs to be specialized. true or false The category of morphisms in the category of Serre quotients. For actual morphisms this needs to be specialized. 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. 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. 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. 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. 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. 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. 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. 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. a function When a Serre quotient category is created, a membership function for the subcategory is given. This attribute stores and returns this function a category For a Serre quotient category A/C this attribute returns the category A. a category For a Serre quotient category A/C this attribute returns generalized morphism category the quotient is modelled upon. 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. an object For an object M in the Serre quotient category A/C this attribute returns the corresponding object in A. 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. a functor Given a Serre quotient category A/C, this operation returns the canonical projection functor A \rightarrow A/C .
Serre quotients by cospans 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. 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. 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. 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. 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. 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. 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.
Serre Quotients by Spans 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. 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. 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. 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. 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. 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. 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.
Serre Quotients modeled by three arrows 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. 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. 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. 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. 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. 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. 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.