In a paper recently announced on this network ("The Chu construction and the cofree models of classical linear logic", available from triples.math.mcgill.ca), I remarked that the Chu construction was a KZ-codoctrine. The term KZ-doctrine was coined, I believe, by Ross Street in his "Fibrations in bicategories" (Cahiers XXI-2) --- to abbreviate the term Kock-Z\"oberlein-doctrine. Now I have been warned from several sides that this abbreviation awakes in German-speaking people associations to concentration camps. I was going to shrug my shoulders and say that people called Dick usually don't pay any attention to the association their name may awake (especially in children), but then I remembered that a guy I know, whose name happens to be Adolf, had a serious fight with his father about this. History seems to be more serious than anatomy. So what do you say: Should we change the terminology or not? Regards to all, Dusko Pavlovic ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
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 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Dusko Pavlovic sees problems with the name " K-Z doctrine ", used by Street to abbreviate "Kock-Zoeberlein doctrine". I dislike both names, and in the paper (with R. Blackwell and A.J. Power) "Two-dimensional monad theory", J. Pure Appl. Algebra 59 (1989), 1-41, I wrote "quasi-idempotent monad" and "co-quasi-idempotent monad"; the first (resp the second) includes those whose algebras are categories with certain limits (resp. colimits). Max Kelly. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
participants (3)
-
kelly_m@maths.su.oz.au -
pavlovic@triples.Math.McGill.CA -
street@macadam.mpce.mq.edu.au