GAP (CAP) - Chapter 13: Dummy categories

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]

[MathJax on]

13 Dummy categories
13.1 GAP categories
13.1-1 IsDummyCategory
13.1-2 IsDummyCategoryObject
13.1-3 IsDummyCategoryMorphism
13.2 Constructors
13.2-1 DummyCategory

### 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