‣ IsStableCategory( seq_obj ) | ( filter ) |
Returns: true or false
The GAP category of stable categories
‣ IsStableCategoryCell( seq_obj ) | ( filter ) |
Returns: true or false
The GAP category of stable categories cells.
‣ IsStableCategoryObject( seq_obj ) | ( filter ) |
Returns: true or false
The GAP category of stable categories objects.
‣ IsStableCategoryMorphism( seq_obj ) | ( filter ) |
Returns: true or false
The GAP category of stable categories morphisms.
‣ StableCategory( category, f ) | ( operation ) |
Returns: an additive category \CC/I
The arguments are an additive category \CC and a function f which decides whether or a not a morphism \alpha:A \to B in \CC belongs to some two-sided ideal I of morphisms in \CC. The output is the stable category \CC/I.
‣ CongruencyTestFunction( stable_category ) | ( attribute ) |
Returns: a gap function
The argument is a stable category \CC/I. The output is is a gap function f such that for any \alpha in \CC, [\alpha] \sim 0 if and only if f(\alpha)=\mathrm{true}.
‣ ProjectionFunctor( stable_category ) | ( attribute ) |
Returns: a functor \CC \to \CC/I
The argument is a stable category \CC/I. The output is the natural projection functor \pi: \CC \to \CC/I.
‣ StableCategoryObject( stable_category, A ) | ( operation ) |
Returns: [A] in \CC/I
The arguments are a stable category \CC/I and an object A in \CC. The output is [A] in \CC/I.
‣ UnderlyingCell( class_A ) | ( attribute ) |
Returns: an object in \CC
The argument is an object [A] in a stable category \CC/I. The output is A.
‣ StableCategoryMorphism( class_A, alpha, class_B ) | ( operation ) |
Returns: [\alpha]:[A]\to [B] in \CC/I
The arguments are an object [A] in a stable category \CC/I, a morphism \alpha:A\to B in \CC and an object [B] in \CC/I. The output is [\alpha] in \CC/I.
‣ StableCategoryMorphism( alpha ) | ( operation ) |
Returns: [\alpha]:[A]\to [B] in \CC/I
The arguments are a stable category \CC/I and a morphism \alpha:A\to B in \CC. The output is [\alpha] in \CC/I.
‣ UnderlyingCell( class_alpha ) | ( attribute ) |
Returns: an object in \CC
The argument is a morphism [\alpha] in a stable category \CC/I. The output is \alpha.
Let \CC be a category equipped with a system \LL of lifting objects. The set of all morphisms \alpha:A \to B which lift along \ell_B:L_B \to B defines a two-sided ideal I_{\LL} of morphisms in \CC. It can be shown that a morphism \alpha: A \to B belongs to I_{\LL} if and only if it factors through at least on object in \LL. The extra structure which is bundled with the system of lifting objects enables us to lift more than additive structure form \CC to \CC/I_{\LL}. This will be illustrated in the next example. The category \CC/{I_{\LL}} can be constructed by the following operation:
‣ StableCategoryByClassOfLiftingObjects( category ) | ( attribute ) |
Returns: a stable category
The argument is an additive category equipped with a system of lifting objects \LL. The output is the stable category \CC/I_{\LL} where I_{\LL} is the two-sided ideal of morphisms \alpha: A \to B in \CC that lift along \ell_B:L_B \to B.
Let \CC be a category equipped with a system \QQ of colifting objects. The set of all morphisms \alpha:A \to B which colift along q_A:A \to Q_A defines a two-sided ideal I_{\QQ} of morphisms in \CC. It can be shown that a morphism \alpha: A \to B belongs to I_{\QQ} if and only if it factors through at least on object in \QQ. The extra structure which is bundled with the system of colifting objects enables us to lift more than additive structure form \CC to \CC/I_{\LL}. The category \CC/{I_{\QQ}} can be constructed by the following operation:
‣ StableCategoryByClassOfColiftingObjects( category ) | ( attribute ) |
Returns: a stable category
The argument is an additive category equipped with a system of colifting objects \QQ. The output is the stable category \CC/I_{\QQ} where I_{\QQ} is the two-sided ideal of morphisms \alpha: A \to B in \CC that colift along q_A:A \to Q_A.
generated by GAPDoc2HTML