‣ LinearCategoryWithMorphismsByCoefficients( cat, options ) | ( operation ) |
Returns: a category
Reinterprets the category cat to form a new category subject to the options given via options, which is a record with the following keys:
name (optional): the name of the wrapper category
Additionally, the following options of CategoryConstructor (CAP: CategoryConstructor for IsRecord) are supported: category_filter, category_object_filter, category_morphism_filter.
‣ UnderlyingDatum( obj ) | ( attribute ) |
Returns: a GAP object
The datum underlying the object obj.
‣ PairOfIntAndListOfCoefficients( mor ) | ( attribute ) |
Returns: a pair
The pair consisting of an integer \(n\) and a list of length \(n\) of coefficients with respect to a basis.
‣ IsLinearCategoryWithMorphismsByCoefficients( arg ) | ( category ) |
Returns: true or false
The GAP category of a reinterpreted linear category over a commutative semiring with free f.g. external Homs.
‣ IsObjectInLinearCategoryWithMorphismsByCoefficients( arg ) | ( category ) |
Returns: true or false
The GAP category of objects in a reinterpreted linear category over a commutative semiring with free f.g. external Homs.
‣ IsMorphismInLinearCategoryWithMorphismsByCoefficients( arg ) | ( category ) |
Returns: true or false
The GAP category of morphisms in a reinterpreted linear category over a commutative semiring with free f.g. external Homs.
generated by GAPDoc2HTML