Create wrapper hulls of a category

GAP categories true or false The &GAP; category of a wrapper CAP category. true or false The &GAP; category of objects in a wrapper CAP category. true or false The &GAP; category of morphisms in a wrapper CAP category.
Attributes a category object The cell underlying the wrapper category object object. a category morphism The cell underlying the wrapper category morphism morphism.
Constructors an object Wrap an object object (in the category underlying the wrapper category category) to form an object in category. a morphism Wrap a morphism morphism (in the category underlying the wrapper category `CapCategory(`source`)`) to form a morphism in `CapCategory(`source`)` with given source and range. a morphism Wrap a morphism morphism (in the category underlying the wrapper category category) to form a morphism in category. Convenience method for and . a category Wraps a category category to form a new category subject to the options given via options, which is a record with the following keys: `name` (optional): the name of the wrapper category `only_primitive_operations` (optional, default `false`): whether to only wrap primitive operations or all operations

Additionally, the following options of are supported: `category_filter`, `category_object_filter`, `category_morphism_filter`. The filters must imply `IsWrapperCapCategory`, `IsWrapperCapCategoryObject`, and `IsWrapperCapCategoryMorphism`, respectively. a functor Return the functor from the wrapped category `ModelingCategory`(W) to the wrapper category W which simply wraps objects/morphisms.