[MathJax on]

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

4.2 GAP Categories

generated by GAPDoc2HTML