Closed categories vs. closed multicategories

Abstract

We prove that the 2-category of closed categories of Eilenberg and Kelly is equivalent to a suitable full 2-subcategory of the 2-category of closed multicategories.

34 pages

Cited by in corpus (11)

• The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits
• Skew monoidal categories and skew multicategories
• The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes
• Commutativity
• Constructing equivariant spectra via categorical Mackey functors
• Free Products of Higher Operad Algebras
• How strict is strictification?
• LNL polycategories and doctrines of linear logic
• Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory
• The category of Waldhausen categories as a closed multicategory
• Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice