You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Quentin Schroeder (Aug 01 2025 at 12:23):The KZ comonadicity of multicategories over monoidal categories is claimed on the nlab on multicategories in the section on relations to monoidal categories. I am aware of the papers: "From Coherent Structures to Universal Properties", "Representable Multicategories" and "A unified framework for generalized multicategories". But from searching through the papers I found no explicit mention of this result.
Is anyone aware of a reference explicitly stating this or something that implies this?
Matt Earnshaw (Aug 01 2025 at 12:50):See 4.3 of Elmendorf and Mandell, 2009 -- with the caveat that they work with symmetric gadgets, which structure you can of course forget
Quentin Schroeder (Aug 01 2025 at 13:10):Thank you! This should do.
Notification Bot (Aug 01 2025 at 13:10):Quentin Schroeder has marked this topic as resolved.