Any GAP object which is IsCapCategoryObject can be added to a category and then becomes an object in this category. Any object can belong to one or no category. After a GAP object is added to the category, it knows which things can be computed in its category and to which category it belongs. It knows categorial properties and attributes, and the functions for existential quantifiers can be applied to the object.
‣ CapCategory ( a ) | ( attribute ) |
Returns: a category
The argument is an object \(a\). The output is the category \(\mathbf{C}\) to which \(a\) was added.
‣ IsEqualForObjects ( a, b ) | ( operation ) |
Returns: a boolean
The arguments are two objects \(a\) and \(b\). The output is true
if \(a = b\), otherwise the output is false
.
‣ AddIsEqualForObjects ( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operations adds the given function \(F\) to the category for the basic operation IsEqualForObjects
. \(F: (a,b) \mapsto \mathtt{IsEqualForObjects}(a,b)\).
‣ AddIsProjective ( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operations adds the given function \(F\) to the category for the basic operation IsProjective
. \(F: a \mapsto \mathtt{IsProjective}(a)\).
‣ AddIsInjective ( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operations adds the given function \(F\) to the category for the basic operation IsInjective
. \(F: a \mapsto \mathtt{IsInjective}(a)\).
‣ AddIsTerminal ( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operations adds the given function \(F\) to the category for the basic operation IsTerminal
. \(F: a \mapsto \mathtt{IsTerminal}(a)\).
‣ AddIsInitial ( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operations adds the given function \(F\) to the category for the basic operation IsInitial
. \(F: a \mapsto \mathtt{IsInitial}(a)\).
‣ IsZeroForObjects ( a ) | ( operation ) |
Returns: a boolean
The argument is an object \(a\) of a category \(\mathbf{C}\). The output is true
if \(a\) is isomorphic to the zero object of \(\mathbf{C}\), otherwise the output is false
.
‣ AddIsZeroForObjects ( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operations adds the given function \(F\) to the category for the basic operation IsZeroForObjects
. \(F: a \mapsto \mathtt{IsZeroForObjects}(a)\).
‣ IsEqualForCacheForObjects ( phi, psi ) | ( operation ) |
Returns: true or false
Compares two objects in the cache
‣ AddIsEqualForCacheForObjects ( c, F ) | ( operation ) |
Returns: northing
By default, CAP uses caches to store the values of Categorical operations. To get a value out of the cache, one needs to compare the input of a basic operation with its previous input. To compare objects in the category, IsEqualForCacheForObject is used. By default this is an alias for IsEqualForObjects, where fail is substituted by false. If you add a function, this function used instead. A function \(F: a,b \mapsto bool\) is expected here. The output has to be true or false. Fail is not allowed in this context.
‣ IsWellDefinedForObjects ( a ) | ( operation ) |
Returns: a boolean
The argument is an object \(a\). The output is true
if \(a\) is well-defined, otherwise the output is false
.
‣ AddIsWellDefinedForObjects ( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operations adds the given function \(F\) to the category for the basic operation IsWellDefinedForObjects
. \(F: a \mapsto \mathtt{IsWellDefinedForObjects}( a )\).
generated by GAPDoc2HTML