Let \(A\) be an additive category. The Adelman category of \(A\) is the free abelian category induced by \(A\). An object \(x\) of the Adelman category of \(A\) consists of a composable pair \((\rho: a \rightarrow b, \gamma: b \rightarrow c)\) in \(A\). We call \(\rho\) the relation morphism, and \(\gamma\) the co-relation morphism of \(x\).
Given two objects \(x = (\rho: a \rightarrow b, \gamma: b \rightarrow c)\) and \(y = (\rho': a' \rightarrow b', \gamma': b' \rightarrow c')\), a morphism \(\alpha\) from \(x\) to \(y\) in the Adelman category of \(A\) consists of a morphism \(\beta: b \rightarrow b'\), called the morphism datum, that has to fit into some commutative diagram of the form Any such morphism \(\omega\) is called a relation witness, any such morphism \(\psi\) is called a co-relation witness. Two morphisms between \(x\) and \(y\) with morphism data \(\beta\) and \(\beta'\) are congruent iff there exists \(\sigma_1: b \rightarrow a'\) and \(\sigma_2: c \rightarrow b'\) such that \(\beta - \beta' = \sigma_1 \cdot \rho' + \gamma \cdot \sigma_2\). We call any such pair \((\sigma_1, \sigma_2)\) a witness pair for \(\beta, \beta'\) being congruent.
‣ IsAdelmanCategoryObject( a ) | ( filter ) |
Returns: true or false
The GAP category of objects of an Adelman category. Every object of an Adelman category lies in this GAP category.
‣ IsAdelmanCategoryMorphism( alpha ) | ( filter ) |
Returns: true or false
The GAP category of morphisms of an Adelman category. Every morphism of an Adelman category lies in this GAP category.
‣ IsAdelmanCategory( C ) | ( filter ) |
Returns: true or false
The GAP category of Adelman categories. Every CAP category which was created as an Adelman category lies in this GAP category.
‣ AdelmanCategory( A ) | ( attribute ) |
Returns: a category
The argument is an additive CAP category \(A\). The output is the Adelman category of \(A\).
‣ AdelmanCategoryObject( alpha, beta ) | ( operation ) |
Returns: an object
The arguments are two morphisms \(\alpha: a \rightarrow b\), \(\beta: b \rightarrow c\) of the same additive category \(A\). The output is an object in the Adelman category of \(A\) whose relation morphism is \(\alpha\) and whose co-relation morphism is \(\beta\).
‣ AdelmanCategoryMorphism( x, alpha, y ) | ( operation ) |
Returns: a morphism in \(\mathrm{Hom}(x, y)\)
Let \(A\) be an additive category. The arguments are an object \(x\) in the Adelman category of \(A\), a morphism \(\alpha: a \rightarrow b\) of \(A\), and an object \(y\) in the Adelman category of \(A\). The output is a morphism in the Adelman category of \(A\) whose morphism datum is given by \(\alpha\).
‣ AsAdelmanCategoryObject( a ) | ( attribute ) |
Returns: an object
The argument is an object \(a\) of an additive category \(A\). The output is an object in the Adelman category of \(A\) whose relation morphism is \(0 \rightarrow a\) and whose co-relation morphism is \(a \rightarrow 0\).
‣ AsAdelmanCategoryMorphism( alpha ) | ( attribute ) |
Returns: a morphism in \(\mathrm{Hom}( x, y )\)
The argument is a morphism \(\alpha: a \rightarrow b\) of an additive category \(A\). The output is a morphism in the Adelman category of \(A\) whose source \(x\) is AsAdelmanCategoryObject( a ), whose range \(y\) is AsAdelmanCategoryObject( b ), and whose morphism datum is \(\alpha\).
‣ /( a, C ) | ( operation ) |
Returns: an object
This is a convenience method. The first argument is an object \(a\) which either lies in an additive category \(A\) (which was not created as a Freyd category) or in a Freyd category \(F\) of an underlying additive category \(A\). The second argument is an Adelman category \(C\) of \(A\). If \(a\) lies in \(A\) this method returns AsAdelmanCategoryObject( a ). If \(a\) lies in \(F\), this method return an object in \(C\) whose relation morphism is the same as the relation morphism of \(a\), and whose co-relation morphism is \(0\).
‣ /( alpha, C ) | ( operation ) |
Returns: a morphism in \(\mathrm{Hom}( x, y )\)
This is a convenience method. The first argument is a morphism \(\alpha\) which lies in an additive category \(A\). The second argument is an Adelman category \(C\) of \(A\). This method returns AsAdelmanCategoryMorphism( alpha ). We set \(x = \mathrm{ AsAdelmanCategoryObject( Source( \alpha ) ) }\) and \(y = \mathrm{ AsAdelmanCategoryObject( Range( \alpha ) ) }\).
‣ UnderlyingCategory( C ) | ( attribute ) |
Returns: a category
The argument is an Adelman category \(C\). The output is its underlying category \(A\) with which it was constructed.
‣ RelationMorphism( x ) | ( attribute ) |
Returns: a morphism in \(\mathrm{Hom}( a, b )\)
The argument is an object \(x\) in an Adelman category. The output is its relation morphism \(\rho: a \rightarrow b\).
‣ CorelationMorphism( x ) | ( attribute ) |
Returns: a morphism in \(\mathrm{Hom}( b, c )\)
The argument is an object \(x\) in an Adelman category. The output is its co-relation morphism \(\gamma: b \rightarrow c\).
‣ UnderlyingMorphism( alpha ) | ( attribute ) |
Returns: a morphism in \(\mathrm{Hom}( b, b' )\)
The argument is a morphism \(\alpha\) in an Adelman category. The output is its morphism datum \(\beta: b \rightarrow b'\).
‣ RelationWitness( alpha ) | ( attribute ) |
Returns: a morphism in \(\mathrm{Hom}( a, a' )\)
The argument is a morphism \(\alpha\) in an Adelman category. The output is its relation witness \(\omega: a \rightarrow a'\).
‣ CorelationWitness( alpha ) | ( attribute ) |
Returns: a morphism in \(\mathrm{Hom}( c, c' )\)
The argument is a morphism \(\alpha\) in an Adelman category. The output is its co-relation witness \(\psi: c \rightarrow c'\).
‣ WitnessPairForBeingCongruentToZero( alpha ) | ( attribute ) |
Returns: a list of morphisms
The argument is a morphism \(\alpha\) congruent to zero in an Adelman category. The output is a witness pair.
‣ MereExistenceOfWitnessPairForBeingCongruentToZero( alpha ) | ( attribute ) |
Returns: a boolean
The argument is a morphism \(\alpha\) in an Adelman category. The output is true if \(\alpha\) is congruent to zero, else false.
‣ IsSequenceAsAdelmanCategoryObject( x ) | ( property ) |
Returns: a boolean
The argument is an object \(x\) in an Adelman category. The output is true if the composition of its relation morphism and its co-relation morphism yields zero. Otherwise, the output is false.
The Adelman category of \(A\) can also be interpreted as the category \(A-\mathrm{mod}-\mathrm{mod}\), i.e., the category of finitely presented functors whose domain is given by \(A-\mathrm{mod}\), and whose codomain is the category of abelian groups. The category \(A-\mathrm{mod}-\mathrm{mod}\) embeds into \(A-\mathrm{Mod}-\mathrm{mod}\) via extension by filtered colimits. Thus, any object in the Adelman category of \(A\) can be interpreted as a functor from \(A-\mathrm{Mod}\) (an abelian category) into the category of abelian groups (also an abelian category). Via this interpretation, it makes sense to ask for exactness properties of an object in the Adelman category.
‣ IsExact( x ) | ( property ) |
Returns: a boolean
The argument is an object \(x\) in an Adelman category. The output is true if \(x\) corresponds to an exact functor. Otherwise, the output is false.
‣ IsLeftExact( x ) | ( property ) |
Returns: a boolean
The argument is an object \(x\) in an Adelman category. The output is true if \(x\) corresponds to a left exact functor. Otherwise, the output is false.
‣ IsRightExact( x ) | ( property ) |
Returns: a boolean
The argument is an object \(x\) in an Adelman category. The output is true if \(x\) corresponds to a right exact functor. Otherwise, the output is false.
‣ IsMonoPreserving( x ) | ( property ) |
Returns: a boolean
The argument is an object \(x\) in an Adelman category. The output is true if \(x\) corresponds to a mono preserving functor. Otherwise, the output is false.
‣ IsEpiPreserving( x ) | ( property ) |
Returns: a boolean
The argument is an object \(x\) in an Adelman category. The output is true if \(x\) corresponds to an epi preserving functor. Otherwise, the output is false.
‣ IsImagePreserving( x ) | ( property ) |
Returns: a boolean
The argument is an object \(x\) in an Adelman category. The output is true if \(x\) corresponds to an image preserving functor. Otherwise, the output is false.
generated by GAPDoc2HTML