## Stream: general

### Topic: comp vs trans

#### Bryan Gin-ge Chen (Jan 01 2021 at 17:23):

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 (Jan 01 2021 at 17:25):

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

Last updated: May 14 2021 at 00:42 UTC