‣ IsObjectInCategoryOfLenses ( arg ) | ( filter ) |
Returns: true
or false
The GAP category of objects in path categories.
‣ IsMorphismInCategoryOfLenses ( arg ) | ( filter ) |
Returns: true
or false
The GAP category of morphisms in path categories.
generated by GAPDoc2HTML