  
  [1X13 [33X[0;0YCreate wrapper hulls of a category[133X[101X
  
  
  [1X13.1 [33X[0;0YGAP categories[133X[101X
  
  [1X13.1-1 IsWrapperCapCategory[101X
  
  [33X[1;0Y[29X[2XIsWrapperCapCategory[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 wrapper CAP category.[133X
  
  [1X13.1-2 IsWrapperCapCategoryObject[101X
  
  [33X[1;0Y[29X[2XIsWrapperCapCategoryObject[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 wrapper CAP category.[133X
  
  [1X13.1-3 IsWrapperCapCategoryMorphism[101X
  
  [33X[1;0Y[29X[2XIsWrapperCapCategoryMorphism[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 wrapper CAP category.[133X
  
  
  [1X13.2 [33X[0;0YAttributes[133X[101X
  
  [1X13.2-1 UnderlyingCell[101X
  
  [33X[1;0Y[29X[2XUnderlyingCell[102X( [3Xobject[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya category object[133X
  
  [33X[0;0YThe cell underlying the wrapper category object [3Xobject[103X.[133X
  
  [1X13.2-2 UnderlyingCell[101X
  
  [33X[1;0Y[29X[2XUnderlyingCell[102X( [3Xmorphism[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya category morphism[133X
  
  [33X[0;0YThe cell underlying the wrapper category morphism [3Xmorphism[103X.[133X
  
  
  [1X13.3 [33X[0;0YConstructors[133X[101X
  
  [1X13.3-1 AsObjectInWrapperCategory[101X
  
  [33X[1;0Y[29X[2XAsObjectInWrapperCategory[102X( [3Xcategory[103X, [3Xobject[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Yan object[133X
  
  [33X[0;0YWrap  an  object  [3Xobject[103X  (in  the  category underlying the wrapper category
  [3Xcategory[103X) to form an object in [3Xcategory[103X.[133X
  
  [1X13.3-2 AsMorphismInWrapperCategory[101X
  
  [33X[1;0Y[29X[2XAsMorphismInWrapperCategory[102X( [3Xsource[103X, [3Xmorphism[103X, [3Xrange[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Ya morphism[133X
  
  [33X[0;0YWrap  a  morphism  [3Xmorphism[103X (in the category underlying the wrapper category
  [10XCapCategory([110X[3Xsource[103X[10X)[110X)  to  form  a morphism in [10XCapCategory([110X[3Xsource[103X[10X)[110X with given
  source and range.[133X
  
  [1X13.3-3 AsMorphismInWrapperCategory[101X
  
  [33X[1;0Y[29X[2XAsMorphismInWrapperCategory[102X( [3Xcategory[103X, [3Xmorphism[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Ya morphism[133X
  
  [33X[0;0YWrap  a  morphism  [3Xmorphism[103X (in the category underlying the wrapper category
  [3Xcategory[103X) to form a morphism in [3Xcategory[103X.[133X
  
  [1X13.3-4 /[101X
  
  [33X[1;0Y[29X[2X/[102X( [3Xcell[103X, [3Xcategory[103X ) [32X operation[133X
  
  [33X[0;0YConvenience    method    for    [2XAsObjectInWrapperCategory[102X    ([14X13.3-1[114X)    and
  [2XAsMorphismInWrapperCategory[102X ([14X13.3-3[114X).[133X
  
  [1X13.3-5 WrapperCategory[101X
  
  [33X[1;0Y[29X[2XWrapperCategory[102X( [3Xcategory[103X, [3Xoptions[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Ya category[133X
  
  [33X[0;0YWraps  a  category  [3Xcategory[103X  to  form a new category subject to the options
  given via [3Xoptions[103X, which is a record with the following keys:[133X
  
  [30X    [33X[0;6Y[10Xname[110X (optional): the name of the wrapper category[133X
  
  [30X    [33X[0;6Y[10Xonly_primitive_operations[110X  (optional,  default [10Xfalse[110X): whether to only
        wrap primitive operations or all operations[133X
  
  [33X[0;0YAdditionally,  the  following  options  of  [2XCategoryConstructor[102X ([14X11.2-1[114X) are
  supported:              [10Xcategory_filter[110X,             [10Xcategory_object_filter[110X,
  [10Xcategory_morphism_filter[110X.   The  filters  must  imply  [10XIsWrapperCapCategory[110X,
  [10XIsWrapperCapCategoryObject[110X, and [10XIsWrapperCapCategoryMorphism[110X, respectively.[133X
  
  [1X13.3-6 WrappingFunctor[101X
  
  [33X[1;0Y[29X[2XWrappingFunctor[102X( [3XW[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya functor[133X
  
  [33X[0;0YReturn  the  functor  from  the  wrapped category [10XModelingCategory[110X([3XW[103X) to the
  wrapper category [3XW[103X which simply wraps objects/morphisms.[133X
  
