Zulip Chat Archive

Stream: general

Topic: comp vs trans


view this post on Zulip 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?

view this post on Zulip 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