comp vs trans

Stream: general

[Bryan Gin-ge Chen]

The following came up in #5557. Oftentimes two instances of structures can be composed to form a new instance. Some of these are named .trans like docs#function.embedding.trans and others are named .comp(with the opposite argument order) like docs#add_hom.comp.

Is there a convention for this?

[Heather Macbeth]

I think I have often seen equivs with trans, where the corresponding maps use comp. But this is descriptive rather than prescriptive grammar :)