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.

Constructors

Construct a terminal category possibly with multiple objects. <#Include Label="TerminalCategory"> Construct a terminal category with multiple objects. <#Include Label="TerminalCategoryWithMultipleObjects"> Create an object a in the terminal category T with multiple objects with String(str) = a.
&GAP; Categories true or false The &GAP; type of a terminal category with multiple objects. true or false The &GAP; type of a cell in a terminal category with multiple objects. true or false The &GAP; type of an object in a terminal category with multiple objects. true or false The &GAP; type of a morphism in a terminal category with multiple objects.