This is an example of a category which is created using CategoryConstructor out of no input.
This category "lies" in all doctrines and can hence be used (in conjunction with LazyCategory) in order to check the type-correctness of the various derived methods provided by CAP or any CAP-based package.
generated by GAPDoc2HTML