Permutative categories, multicategories, and algebraic K-theory

Abstract

We show that the $K$-theory construction of arXiv:math/0403403, which preserves multiplicative structure, extends to a symmetric monoidal closed bicomplete source category, with the multiplicative structure still preserved. The source category of arXiv:math/0403403, whose objects are permutative categories, maps fully and faithfully to the new source category, whose objects are (based) multicategories.

References in corpus (1)

• Dendroidal Sets

Cited by in corpus (19)

• Universality of multiplicative infinite loop space machines
• Models of G-spectra as presheaves of spectra
• On operads, bimodules and analytic functors
• On the category of props
• Quantization via Linear homotopy types
• Flat vs. filtered colimits in the enriched context
• Categorification of algebraic quantum field theories
• Constructing equivariant spectra via categorical Mackey functors
• Global algebraic K-theory
• Comprehensive factorisation systems
• Regular patterns, substitudes, Feynman categories and operads
• A multiplicative comparison of Waldhausen and Segal K-theory
• Strictification theorems for the homotopy time-slice axiom
• Braided skew monoidal categories
• How strict is strictification?
• Generalizations of Loday's assembly maps for Lawvere's algebraic theories
• A diagram model of linear dependent type theory
• The DG-category of secondary cohomology operations
• Multifunctorial $K$-Theory is an Equivalence of Homotopy Theories