Categorical spectra as pointed -categories
arXiv:2410.02578
Abstract
Lessard's -categories are an analogue of -categories possessing cells in all positive and negative dimensions. Categorical spectra, developed by Stefanich, are an analogue of spectra obtained by replacing the suspension of pointed -groupoids by that of pointed -categories. We give an -categorical definition of weak -categories (alias -categories), and show categorical spectra to be equivalent to pointed -categories. In particular, we show that the stable cells of categorical spectra coincide with the natural cells of -categories, and recover Lessard's description of spectra as pointed weak -groupoids.
16 pages. Comments are welcome! V2: Added section (now) 3.2 on monoidal structures