28 Oct
1993
28 Oct
'93
5:17 a.m.
To Kock and Z\"oberlein we owe the concept. I plead guilty to the abbreviation, yet ignorant of the connotation. Who would be shocked by Diwmilatu [resp. Diwmiratu] (doctrines-in-which-multiplication-is-left-[resp. right] -adjoint-to-unit? These could well be Javan swearwords. On this topic, Anders Kock has two recent nice papers: "Monads for which structures are adjoint to units" and "Generators and relations for delta as a monoidal 2-category". Regards, Ross ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++