GAP (MonoidalCategories) - Chapter 4: The terminal category with multiple objects

Goto Chapter: Top 1 2 3 4 5 Ind
[Top of Book] [Contents] [Previous Chapter] [Next Chapter]

[MathJax on]

4 The terminal category with multiple objects
4.1 Constructors

### 4 The terminal category with multiple objects

This is an example of a category which is created using `CategoryConstructor` out of no input.

This category "lies" in all doctrines and can hence be used (in conjunction with `LazyCategory`) in order to check the type-correctness of the various derived methods provided by CAP or any CAP-based package.

#### 4.1 Constructors

[Top of Book] [Contents] [Previous Chapter] [Next Chapter]
Goto Chapter: Top 1 2 3 4 5 Ind

generated by GAPDoc2HTML