$\mathbf{Z}$-Categories I

Abstract

This paper is the first in a series of two papers, $\mathbf{Z}$-Categories I and $\mathbf{Z}$-Categories II, which develop the notion of $\mathbf{Z}$-category, the natural bi-infinite analog to strict $\omega$-categories, and show that the $\left(\infty ,1\right)$-category of spectra relates to the $\left(\infty ,1\right)$-category of homotopy coherent $\mathbf{Z}$-categories as the pointed groupoids. In this work we provide a $2$-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 $\mathbf{Z}$-category. We then develop the theory of limits in the $2$-category of categories with arities of Berger, Mellies, and Weber to provide a cellular category which is to $\mathbf{Z}$-categories as $△$ is to $1$-categories or ${\Theta }_n$ is to $n$-categories. In an appendix we provide a generalization of the spectrification functors of 20${}^{\mathrm{th}}$ century stable homotopy theory in the language of category-weighted limits.