K-theory for 2-categories
Algebraic Topology
2017-12-07 v2 Category Theory
K-Theory and Homology
Abstract
We establish an equivalence of homotopy theories between symmetric monoidal bicategories and connective spectra. For this, we develop the theory of -objects in 2-categories. In the course of the proof we establish strictfication results of independent interest for symmetric monoidal bicategories and for diagrams of 2-categories.
Cite
@article{arxiv.1503.07824,
title = {K-theory for 2-categories},
author = {Nick Gurski and Niles Johnson and Angélica M. Osorno},
journal= {arXiv preprint arXiv:1503.07824},
year = {2017}
}
Comments
73 pages. Updated to match publication