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
trans, where the corresponding
comp. But this is descriptive rather than prescriptive grammar :)
Last updated: May 14 2021 at 00:42 UTC