Permutative categories, multicategories, and algebraic K-theory

A. D. Elmendorf, M. A. Mandell

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 th…