‣ InitialCategory ( ) | ( function ) |
Construct a initial category.
gap> I := InitialCategory( ); InitialCategory( ) gap> IsInitialCategory( I ); true gap> Display( I ); A CAP category with name InitialCategory( ): 5 primitive operations were used to derive 13 operations for this category \ which not yet algorithmically * IsEquippedWithHomomorphismStructure and furthermore mathematically * IsInitialCategory gap> OI := Opposite( I ); Opposite( InitialCategory( ) ) gap> IsInitialCategory( OI ); true gap> Display( OI ); A CAP category with name Opposite( InitialCategory( ) ): 17 primitive operations were used to derive 17 operations for this category \ which not yet algorithmically * IsEquippedWithHomomorphismStructure and furthermore mathematically * IsInitialCategory
‣ IsInitialCapCategory ( T ) | ( filter ) |
Returns: true
or false
The GAP type of an initial category.
‣ IsObjectInInitialCapCategory ( T ) | ( filter ) |
Returns: true
or false
The GAP type of an object in an initial category.
‣ IsMorphismInInitialCapCategory ( T ) | ( filter ) |
Returns: true
or false
The GAP type of a morphism in an initial category.
generated by GAPDoc2HTML