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