‣ IsWrapperCapCategory( arg ) | ( filter ) |
Returns: true or false
The GAP category of a wrapper CAP category.
‣ IsWrapperCapCategoryObject( arg ) | ( filter ) |
Returns: true or false
The GAP category of objects in a wrapper CAP category.
‣ IsWrapperCapCategoryMorphism( arg ) | ( filter ) |
Returns: true or false
The GAP category of morphisms in a wrapper CAP category.
‣ UnderlyingCell( object ) | ( attribute ) |
Returns: a category object
The cell underlying the wrapper category object object.
‣ UnderlyingCell( morphism ) | ( attribute ) |
Returns: a category morphism
The cell underlying the wrapper category morphism morphism.
‣ AsObjectInWrapperCategory( category, object ) | ( operation ) |
Returns: an object
Wrap an object object (in the category underlying the wrapper category category) to form an object in category.
‣ AsMorphismInWrapperCategory( source, morphism, range ) | ( operation ) |
Returns: a morphism
Wrap a morphism morphism (in the category underlying the wrapper category CapCategory(source)) to form a morphism in CapCategory(source) with given source and range.
‣ AsMorphismInWrapperCategory( category, morphism ) | ( operation ) |
Returns: a morphism
Wrap a morphism morphism (in the category underlying the wrapper category category) to form a morphism in category.
‣ /( cell, category ) | ( operation ) |
Convenience method for AsObjectInWrapperCategory (13.3-1) and AsMorphismInWrapperCategory (13.3-3).
‣ WrapperCategory( category, options ) | ( operation ) |
Returns: a category
Wraps a category category 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
only_primitive_operations (optional, default false): whether to only wrap primitive operations or all operations
Additionally, the following options of CategoryConstructor (11.2-1) are supported: category_filter, category_object_filter, category_morphism_filter. The filters must imply IsWrapperCapCategory, IsWrapperCapCategoryObject, and IsWrapperCapCategoryMorphism, respectively.
‣ WrappingFunctor( W ) | ( attribute ) |
Returns: a functor
Return the functor from the wrapped category ModelingCategory(W) to the wrapper category W which simply wraps objects/morphisms.
generated by GAPDoc2HTML