Multifunctorial K-Theory is an Equivalence of Homotopy Theories

DOI10.1007/S40062-022-00317-8MaRDI QIDQ6399387arXivFDO

Authors Niles Johnson, Donald Yau

Publication date 17 May 2022

Mathematics Subject Classification ID

Algebraic (K)-theory and (L)-theory (category-theoretic aspects) (18F25) Stable homotopy theory, spectra (55P42) Loop space machines and operads in algebraic topology (55P48) Non-symmetric operads, multicategories, generalized multicategories (18M65)

Abstract: We show that each of the three $K$-theory multifunctors from small permutative categories to $mathcal{G}_{\ast }$-categories, $mathcal{G}_{\ast }$-simplicial sets, and connective spectra, is an equivalence of homotopy theories. For each of these $K$-theory multifunctors, we describe an explicit homotopy inverse functor. As a separate application of our general results about pointed diagram categories, we observe that the right-induced homotopy theory of Bohmann-Osorno $mathcal{E}_{\ast }$-categories is equivalent to the homotopy theory of pointed simplicial categories.

This page was built for publication: Multifunctorial $K$-Theory is an Equivalence of Homotopy Theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6399387)