‣ AddSetOfGeneratingMorphismsOfCategory ( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation SetOfGeneratingMorphismsOfCategory
. \(F: ( ) \mapsto \mathtt{SetOfGeneratingMorphismsOfCategory}()\).
generated by GAPDoc2HTML