‣ IsCapTerminalCategoryWithSingleObject( T ) | ( filter ) |
Returns: true or false
The GAP type of a terminal category with a single object.
‣ IsObjectInCapTerminalCategoryWithSingleObject( T ) | ( filter ) |
Returns: true or false
The GAP type of an object in a terminal category with a single object.
‣ IsMorphismInCapTerminalCategoryWithSingleObject( T ) | ( filter ) |
Returns: true or false
The GAP type of a morphism in a terminal category with a single object.
‣ IsCapTerminalCategoryWithMultipleObjects( T ) | ( filter ) |
Returns: true or false
The GAP type of a terminal category with multiple objects.
‣ IsObjectInCapTerminalCategoryWithMultipleObjects( T ) | ( filter ) |
Returns: true or false
The GAP type of an object in a terminal category with multiple objects.
‣ IsMorphismInCapTerminalCategoryWithMultipleObjects( T ) | ( filter ) |
Returns: true or false
The GAP type of a morphism in a terminal category with multiple objects.
‣ IsTerminalCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being terminal.
‣ TerminalCategoryWithSingleObject( arg ) | ( function ) |
Construct a terminal category with a single object.
‣ TerminalCategoryWithMultipleObjects( arg ) | ( function ) |
Construct a terminal category with multiple objects.
‣ CAP_INTERNAL_CONSTRUCTOR_FOR_TERMINAL_CATEGORY( options ) | ( function ) |
Returns: a CAP category
This function takes a record of options suited for CategoryConstructor. It makes common adjustments for TerminalCategoryWithSingleObject and TerminalCategoryWithMultipleObjects to the list of operations to install and the categorical properties of the given record, before passing it on to CategoryConstructor.
‣ TerminalCategoryWithSingleObjectUniqueObject( arg ) | ( attribute ) |
Returns: a CAP object
The unique object in a terminal category with a single object.
‣ TerminalCategoryWithSingleObjectUniqueMorphism( arg ) | ( attribute ) |
Returns: a CAP morphism
The unique morphism in a terminal category with a single object.
‣ FunctorFromTerminalCategory( object ) | ( attribute ) |
Returns: a CAP functor
A functor from AsCapCategory( TerminalObject( CapCat ) ) mapping the unique object to object.
generated by GAPDoc2HTML