‣ IsFiniteSkeletalDiscreteCategory( C ) | ( filter ) |
Returns: true or false
The GAP type of a finite skeletal discrete category.
‣ IsObjectInFiniteSkeletalDiscreteCategory( O ) | ( filter ) |
Returns: true or false
The GAP type of an object in a finite skeletal discrete category.
‣ IsMorphismInFiniteSkeletalDiscreteCategory( M ) | ( filter ) |
Returns: true or false
The GAP type of a morphism in a finite skeletal discrete category.
‣ FiniteSkeletalDiscreteCategory( arg ) | ( function ) |
Returns: a CAP category
Construct a finite skeletal discrete category.
‣ UnderlyingListOfGAPObjects( arg ) | ( attribute ) |
Returns: a list of CAP objects
The underlying GAP objects of a finite skeletal discrete category.
‣ UnderlyingGAPObject( arg ) | ( attribute ) |
Returns: a CAP object
The underlying GAP object of an object in a finite skeletal discrete category.
‣ IsDiscreteCategory( C ) | ( property ) |
Returns: true or false
The property of C being a discrete CAP category, i.e., equivalent to a category in which any morphism is an identity.
generated by GAPDoc2HTML