Terminal category
&GAP; Categories true or false The &GAP; type of a terminal category with a single object. true or false The &GAP; type of an object in a terminal category with a single object. true or false The &GAP; type of a morphism in a terminal category with a single object. true or false The &GAP; type of 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. true or false The property of the category C being terminal.
Constructors Construct a terminal category with a single object. Construct a terminal category with multiple objects. a &CAP; category This function takes a record of options suited for CategoryConstructor. It makes common adjustments for TerminalCategoryWithSingleObject and TerminalCategoryWithMultipleObjects to the list of operations to install and the categorical properties of the given record, before passing it on to CategoryConstructor.
Attributes a &CAP; object The unique object in a terminal category with a single object. a &CAP; morphism The unique morphism in a terminal category with a single object. a &CAP; functor A functor from `AsCapCategory( TerminalObject( CapCat ) )` mapping the unique object to object.