  
  [1X13 [33X[0;0YDummy categories[133X[101X
  
  [33X[0;0YA  dummy  category  pretends  to  support certain CAP operations but has not
  actual  implementation.  This  is  useful for testing or compiling against a
  certain set of CAP operations.[133X
  
  
  [1X13.1 [33X[0;0YGAP categories[133X[101X
  
  [1X13.1-1 IsDummyCategory[101X
  
  [33X[1;0Y[29X[2XIsDummyCategory[102X( [3Xarg[103X ) [32X filter[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe [5XGAP[105X category of a dummy CAP category.[133X
  
  [1X13.1-2 IsDummyCategoryObject[101X
  
  [33X[1;0Y[29X[2XIsDummyCategoryObject[102X( [3Xarg[103X ) [32X filter[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe [5XGAP[105X category of objects in a dummy CAP category.[133X
  
  [1X13.1-3 IsDummyCategoryMorphism[101X
  
  [33X[1;0Y[29X[2XIsDummyCategoryMorphism[102X( [3Xarg[103X ) [32X filter[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe [5XGAP[105X category of morphisms in a dummy CAP category.[133X
  
  
  [1X13.2 [33X[0;0YConstructors[133X[101X
  
  [1X13.2-1 DummyCategory[101X
  
  [33X[1;0Y[29X[2XDummyCategory[102X( [3Xoptions[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Ya category[133X
  
  [33X[0;0YCreates  a dummy category subject to the options given via [3Xoptions[103X, which is
  a  record  passed  on to [2XCategoryConstructor[102X ([14X11.2-1[114X). Note that the options
  [10X{category,object,morphism}_filter[110X        will        be        set        to
  [10XIsDummyCategory{,Object,Morphism}[110X          and          the          options
  [10X{object,morphism}_{constructor,datum}[110X and [10Xcreate_func_*[110X will be set to dummy
  implementations  (throwing  errors when actually called). The dummy category
  will pretend to support empty limits by default.[133X
  
