  
  [1X16 [33X[0;0YTerminal category[133X[101X
  
  
  [1X16.1 [33X[0;0Y[5XGAP[105X[101X[1X Categories[133X[101X
  
  [1X16.1-1 IsCapTerminalCategoryWithSingleObject[101X
  
  [33X[1;0Y[29X[2XIsCapTerminalCategoryWithSingleObject[102X( [3XT[103X ) [32X filter[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe [5XGAP[105X type of a terminal category with a single object.[133X
  
  [1X16.1-2 IsObjectInCapTerminalCategoryWithSingleObject[101X
  
  [33X[1;0Y[29X[2XIsObjectInCapTerminalCategoryWithSingleObject[102X( [3XT[103X ) [32X filter[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe [5XGAP[105X type of an object in a terminal category with a single object.[133X
  
  [1X16.1-3 IsMorphismInCapTerminalCategoryWithSingleObject[101X
  
  [33X[1;0Y[29X[2XIsMorphismInCapTerminalCategoryWithSingleObject[102X( [3XT[103X ) [32X filter[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe [5XGAP[105X type of a morphism in a terminal category with a single object.[133X
  
  [1X16.1-4 IsCapTerminalCategoryWithMultipleObjects[101X
  
  [33X[1;0Y[29X[2XIsCapTerminalCategoryWithMultipleObjects[102X( [3XT[103X ) [32X filter[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe [5XGAP[105X type of a terminal category with multiple objects.[133X
  
  [1X16.1-5 IsObjectInCapTerminalCategoryWithMultipleObjects[101X
  
  [33X[1;0Y[29X[2XIsObjectInCapTerminalCategoryWithMultipleObjects[102X( [3XT[103X ) [32X filter[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe [5XGAP[105X type of an object in a terminal category with multiple objects.[133X
  
  [1X16.1-6 IsMorphismInCapTerminalCategoryWithMultipleObjects[101X
  
  [33X[1;0Y[29X[2XIsMorphismInCapTerminalCategoryWithMultipleObjects[102X( [3XT[103X ) [32X filter[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe [5XGAP[105X type of a morphism in a terminal category with multiple objects.[133X
  
  [1X16.1-7 IsTerminalCategory[101X
  
  [33X[1;0Y[29X[2XIsTerminalCategory[102X( [3XC[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe property of the category [3XC[103X being terminal.[133X
  
  
  [1X16.2 [33X[0;0YConstructors[133X[101X
  
  [1X16.2-1 TerminalCategoryWithSingleObject[101X
  
  [33X[1;0Y[29X[2XTerminalCategoryWithSingleObject[102X( [3Xarg[103X ) [32X function[133X
  
  [33X[0;0YConstruct a terminal category with a single object.[133X
  
  [1X16.2-2 TerminalCategoryWithMultipleObjects[101X
  
  [33X[1;0Y[29X[2XTerminalCategoryWithMultipleObjects[102X( [3Xarg[103X ) [32X function[133X
  
  [33X[0;0YConstruct a terminal category with multiple objects.[133X
  
  [1X16.2-3 CAP_INTERNAL_CONSTRUCTOR_FOR_TERMINAL_CATEGORY[101X
  
  [33X[1;0Y[29X[2XCAP_INTERNAL_CONSTRUCTOR_FOR_TERMINAL_CATEGORY[102X( [3Xoptions[103X ) [32X function[133X
  [6XReturns:[106X  [33X[0;10Ya [5XCAP[105X category[133X
  
  [33X[0;0YThis  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.[133X
  
  
  [1X16.3 [33X[0;0YAttributes[133X[101X
  
  [1X16.3-1 TerminalCategoryWithSingleObjectUniqueObject[101X
  
  [33X[1;0Y[29X[2XTerminalCategoryWithSingleObjectUniqueObject[102X( [3Xarg[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya [5XCAP[105X object[133X
  
  [33X[0;0YThe unique object in a terminal category with a single object.[133X
  
  [1X16.3-2 TerminalCategoryWithSingleObjectUniqueMorphism[101X
  
  [33X[1;0Y[29X[2XTerminalCategoryWithSingleObjectUniqueMorphism[102X( [3Xarg[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya [5XCAP[105X morphism[133X
  
  [33X[0;0YThe unique morphism in a terminal category with a single object.[133X
  
  [1X16.3-3 FunctorFromTerminalCategory[101X
  
  [33X[1;0Y[29X[2XFunctorFromTerminalCategory[102X( [3Xobject[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya [5XCAP[105X functor[133X
  
  [33X[0;0YA  functor from [10XAsCapCategory( TerminalObject( CapCat ) )[110X mapping the unique
  object to [3Xobject[103X.[133X
  
