  
  [1X16 [33X[0;0YFinite skeletal discrete categories[133X[101X
  
  
  [1X16.1 [33X[0;0Y[5XGAP[105X[101X[1X Categories[133X[101X
  
  [1X16.1-1 IsFiniteSkeletalDiscreteCategory[101X
  
  [33X[1;0Y[29X[2XIsFiniteSkeletalDiscreteCategory[102X( [3XC[103X ) [32X filter[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe [5XGAP[105X type of a finite skeletal discrete category.[133X
  
  [1X16.1-2 IsObjectInFiniteSkeletalDiscreteCategory[101X
  
  [33X[1;0Y[29X[2XIsObjectInFiniteSkeletalDiscreteCategory[102X( [3XO[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 finite skeletal discrete category.[133X
  
  [1X16.1-3 IsMorphismInFiniteSkeletalDiscreteCategory[101X
  
  [33X[1;0Y[29X[2XIsMorphismInFiniteSkeletalDiscreteCategory[102X( [3XM[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 finite skeletal discrete category.[133X
  
  
  [1X16.2 [33X[0;0YConstructors[133X[101X
  
  [1X16.2-1 FiniteSkeletalDiscreteCategory[101X
  
  [33X[1;0Y[29X[2XFiniteSkeletalDiscreteCategory[102X( [3Xarg[103X ) [32X function[133X
  [6XReturns:[106X  [33X[0;10Ya [5XCAP[105X category[133X
  
  [33X[0;0YConstruct a finite skeletal discrete category.[133X
  
  
  [1X16.3 [33X[0;0YAttributes[133X[101X
  
  [1X16.3-1 UnderlyingListOfGapObjects[101X
  
  [33X[1;0Y[29X[2XUnderlyingListOfGapObjects[102X( [3Xarg[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya list of [5XCAP[105X objects[133X
  
  [33X[0;0YThe underlying [5XGAP[105X objects of a finite skeletal discrete category.[133X
  
  [1X16.3-2 UnderlyingGapObject[101X
  
  [33X[1;0Y[29X[2XUnderlyingGapObject[102X( [3Xarg[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya [5XCAP[105X object[133X
  
  [33X[0;0YThe  underlying  [5XGAP[105X  object  of  an  object  in  a finite skeletal discrete
  category.[133X
  
  
  [1X16.4 [33X[0;0YProperties[133X[101X
  
  [1X16.4-1 IsDiscreteCategory[101X
  
  [33X[1;0Y[29X[2XIsDiscreteCategory[102X( [3XC[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe  property  of  [3XC[103X  being  a  discrete [5XCAP[105X category, i.e., equivalent to a
  category in which any morphism is an identity.[133X
  
