A dummy category pretends to support certain CAP operations but has not actual implementation. This is useful for testing or compiling against a certain set of CAP operations.
‣ IsDummyCategory( arg ) | ( filter ) |
Returns: true or false
The GAP category of a dummy CAP category.
‣ IsDummyCategoryObject( arg ) | ( filter ) |
Returns: true or false
The GAP category of objects in a dummy CAP category.
‣ IsDummyCategoryMorphism( arg ) | ( filter ) |
Returns: true or false
The GAP category of morphisms in a dummy CAP category.
‣ DummyCategory( options ) | ( operation ) |
Returns: a category
Creates a dummy category subject to the options given via options, which is a record passed on to CategoryConstructor (11.2-1). Note that the options {category,object,morphism}_filter will be set to IsDummyCategory{,Object,Morphism} and the options {object,morphism}_{constructor,datum} and create_func_* will be set to dummy implementations (throwing errors when actually called). The dummy category will pretend to support empty limits by default.
generated by GAPDoc2HTML