‣ IsCapSubcategory( arg ) | ( filter ) |
Returns: true or false
The GAP category of a subcategory.
‣ IsCapSubcategoryGeneratedByFiniteNumberOfMorphisms( arg ) | ( filter ) |
Returns: true or false
The GAP category of a subcategory generated by finite number of morphisms.
‣ IsCellInASubcategory( arg ) | ( filter ) |
Returns: true or false
The GAP category of cells in a subcategory.
‣ IsObjectInASubcategory( arg ) | ( filter ) |
Returns: true or false
The GAP category of objects in a subcategory.
‣ IsMorphismInASubcategory( arg ) | ( filter ) |
Returns: true or false
The GAP category of morphisms in a subcategory.
‣ CAP_INTERNAL_METHOD_NAME_LIST_FOR_SUBCATEGORY | ( global variable ) |
‣ UnderlyingCell( cell ) | ( attribute ) |
Returns: a CAP cell
The cell in the ambient category underlying cell.
‣ SetOfKnownObjects( A ) | ( attribute ) |
Returns: a list
The set of known objects of the subcategory A.
‣ AmbientCategory( A ) | ( attribute ) |
Returns: a list
The ambient category of the subcategory A.
‣ Subcategory( C, name ) | ( operation ) |
‣ AsSubcategoryCell( D, c ) | ( operation ) |
‣ AsSubcategoryCell( source, mor, range ) | ( operation ) |
1.4-4 \/‣ \/( c, D ) | ( operation ) |
‣ SubcategoryGeneratedByListOfMorphisms( C, L ) | ( function ) |
Returns: CapSubcategory
The input is a list of morphisms L in the same category. The output is the subcategory generated by L.
generated by GAPDoc2HTML