Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
It’s shaping up nicely; thanks!
here and elsewhere, I am completing/correcting the bibdata for the references to Kock’s original articles:
Anders Kock, Monads on symmetric monoidal closed categories, Arch. Math. 21 (1970) 1-10 [doi:10.1007/BF01220868]
Anders Kock, Closed categories generated by commutative monads, Journal of the Australian Mathematical Society 12 4 (1971) 405-424 [doi:10.1017/S1446788700010272, KockMonoidalMonads.pdf:file]
Anders Kock, Strong functors and monoidal monads, Arch. Math 23 (1972) 113–120 [doi:10.1007/BF01304852, pdf]
Re-organizing to bring more logic into the section outline (a “Properties”-section at top level, with subsections).
Renaming the subsection “Equivalence with monoidal monads” to “Relation with monoidal monads” – now here
Making it point to the actual theorem (which I just added here).
Correcting the statement here (writing “closely related” inatead of “equivalent”, since the actual equivalence needs more conditions than were and are stated here)
1 to 7 of 7