$\mathbf{Z}$-Categories I
Abstract
This paper is the first in a series of two papers, -Categories I and -Categories II, which develop the notion of -category, the natural bi-infinite analog to strict -categories, and show that the -category of spectra relates to the -category of homotopy coherent -categories as the pointed groupoids. In this work we provide a -categorical treatment of the combinatorial spectra of \cite{Kan} and argue that this description is a simplicial avatar of the abiding notion of homotopy coherent -category. We then develop the theory of limits in the -category of categories with arities of Berger, Mellies, and Weber to provide a cellular category which is to -categories as is to -categories or is to -categories. In an appendix we provide a generalization of the spectrification functors of 20 century stable homotopy theory in the language of category-weighted limits.
Cite
@article{arxiv.2206.00849,
title = {$\mathbf{Z}$-Categories I},
author = {Paul Lessard},
journal= {arXiv preprint arXiv:2206.00849},
year = {2022}
}