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

&GAP; Categories