  
  [1X15 [33X[0;0YTerminal category[133X[101X
  
  
  [1X15.1 [33X[0;0Y[5XGAP[105X[101X[1X Categories[133X[101X
  
  [1X15.1-1 IsCapTerminalCategoryWithSingleObject[101X
  
  [33X[1;0Y[29X[2XIsCapTerminalCategoryWithSingleObject[102X( [3XT[103X ) [32X Category[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
  
  [1X15.1-2 IsObjectInCapTerminalCategoryWithSingleObject[101X
  
  [33X[1;0Y[29X[2XIsObjectInCapTerminalCategoryWithSingleObject[102X( [3XT[103X ) [32X Category[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
  
  [1X15.1-3 IsMorphismInCapTerminalCategoryWithSingleObject[101X
  
  [33X[1;0Y[29X[2XIsMorphismInCapTerminalCategoryWithSingleObject[102X( [3XT[103X ) [32X Category[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
  
  [1X15.1-4 IsCapTerminalCategoryWithMultipleObjects[101X
  
  [33X[1;0Y[29X[2XIsCapTerminalCategoryWithMultipleObjects[102X( [3XT[103X ) [32X Category[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
  
  [1X15.1-5 IsObjectInCapTerminalCategoryWithMultipleObjects[101X
  
  [33X[1;0Y[29X[2XIsObjectInCapTerminalCategoryWithMultipleObjects[102X( [3XT[103X ) [32X Category[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
  
  [1X15.1-6 IsMorphismInCapTerminalCategoryWithMultipleObjects[101X
  
  [33X[1;0Y[29X[2XIsMorphismInCapTerminalCategoryWithMultipleObjects[102X( [3XT[103X ) [32X Category[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
  
  [1X15.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
  
  
  [1X15.2 [33X[0;0YConstructors[133X[101X
  
  [1X15.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
  
  [1X15.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
  
  [1X15.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 CAP 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
  
  
  [1X15.3 [33X[0;0YAttributes[133X[101X
  
  [1X15.3-1 TerminalCategoryWithSingleObjectUniqueObject[101X
  
  [33X[1;0Y[29X[2XTerminalCategoryWithSingleObjectUniqueObject[102X( [3Xarg[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya CAP object[133X
  
  [33X[0;0YThe unique object in a terminal category with a single object.[133X
  
  [1X15.3-2 TerminalCategoryWithSingleObjectUniqueMorphism[101X
  
  [33X[1;0Y[29X[2XTerminalCategoryWithSingleObjectUniqueMorphism[102X( [3Xarg[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya CAP morphism[133X
  
  [33X[0;0YThe unique morphism in a terminal category with a single object.[133X
  
  [1X15.3-3 FunctorFromTerminalCategory[101X
  
  [33X[1;0Y[29X[2XFunctorFromTerminalCategory[102X( [3Xobject[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya CAP functor[133X
  
  [33X[0;0YA  functor from [10XAsCapCategory( TerminalObject( CapCat ) )[110X mapping the unique
  object to [3Xobject[103X.[133X
  
