Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Ind
 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 

13 Dummy categories
 13.1 GAP categories
 13.2 Constructors

13 Dummy categories

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.

13.1 GAP categories

13.1-1 IsDummyCategory
‣ IsDummyCategory( arg )( filter )

Returns: true or false

The GAP category of a dummy CAP category.

13.1-2 IsDummyCategoryObject
‣ IsDummyCategoryObject( arg )( filter )

Returns: true or false

The GAP category of objects in a dummy CAP category.

13.1-3 IsDummyCategoryMorphism
‣ IsDummyCategoryMorphism( arg )( filter )

Returns: true or false

The GAP category of morphisms in a dummy CAP category.

13.2 Constructors

13.2-1 DummyCategory
‣ 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.

 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 
Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Ind

generated by GAPDoc2HTML