Dummy categories

A 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.
GAP categories true or false The &GAP; category of a dummy CAP category. true or false The &GAP; category of objects in a dummy CAP category. true or false The &GAP; category of morphisms in a dummy CAP category.
Constructors a category Creates a dummy category subject to the options given via options, which is a record passed on to . Note that the options `{category,object,morphism}_filter` will be set to `IsDummyCategory{,Object,Morphism}` and the options `{object,morphism}_{constructor,datum}` and `create_func_*` will be set to dummy implementations (throwing errors when actually called). The dummy category will pretend to support empty limits by default.