CAP_project
CAP_project copied to clipboard
Unify style of documention
Example: The two following CAP operations use a different style in the documentation:
UniversalMorphismIntoDirectProductWithGivenDirectProductUniversalMorphismFromCoproductWithGivenCoproduct
The only difference I can spot is how source/range of the return value is written. Is this what you mean?
Yes.
I would suggest the for all WithGiven-operations the WithGiven-object(s) should appear as the source/target.