Homology of categories via polygraphic resolutions (Q2031557)

\textit{R. Street} [J. Pure Appl. Algebra 49, 283--335 (1987; Zbl 0661.18005)] defined a nerve functor \[ N_{\omega}:\omega\boldsymbol{Cat}\rightarrow\widehat{\Delta} \] from the category of strict \(\omega\)-categories (called simply \(\omega \)\textit{-categories}) to the category of simplicial sets, which can be used to transfer the homotopy theory of simplicial sets to \(\omega\)-categories [\textit{D. Ara} and \textit{G. Maltsiniotis}, Adv. Math. 259, 557--654 (2014; Zbl 1308.18004); Adv. Math. 328, 446--500 (2018; Zbl 1390.18011); High. Struct. 4, No. 1, 284--388 (2020; Zbl 1477.18049); \textit{A. Gagna}, Adv. Math. 331, 542--564 (2018; Zbl 1395.18008); J. Lond. Math. Soc., II. Ser. 100, No. 2, 470--497 (2019; Zbl 1430.18021); \textit{P. Ara} et al., Banach J. Math. Anal. 14, No. 4, 1692--1710 (2020; Zbl 1454.46052); \textit{D. Ara} and \textit{G. Maltsiniotis}, Mém. Soc. Math. Fr., Nouv. Sér. 165, 1--203 (2020; Zbl 1473.18001)]. In particular, we have the following definition. Definition. Let \(C\) be an \(\omega\)-category and \(k\in\mathbb{N}\). The \(k\)-th homology group \(H_{k}(C)\) of \(C\) is the \(k\)-th homology group of its nerve \(N_{\omega}(C)\). On the other hand, \textit{F. Métayer} [Theory Appl. Categ. 11, 148--184 (2003; Zbl 1020.18001)] deined \textit{polygraphic homology groups}, observing that \begin{itemize} \item[(a)] Every \(\omega\)-category admits a polygraphic resolution that is an arrow \[ u:P\rightarrow C \] of \(\omega\boldsymbol{Cat}\), such that \(P\) is a free \(\omega\)-category and \(u\) abides by some properties of formal similarities with trivial fibrations of topological spaces. \item[(b)] Every free \(\omega\)-category \(P\) is to be linearized to a chain complex \(\lambda(P)\). \item[(c)] Given two polygraphic resolutions \(P\rightarrow C\) and \(P^{\prime}\rightarrow C\) of the same free \(\omega\)-category, the homology groups of the chain complexes \(\lambda(P)\) and \(\lambda(P^{\prime})\) coincide. \end{itemize} Definition. Let \(C\) be an \(\omega\)-category and \(k\in\mathbb{N}\). The \(k\)-th polygraphic homology group \(H_{k}^{\mathrm{pol}}(C)\) of \(C\) is the \(k\)-th homology group of \(\lambda(P)\) for any polygraphic resolution \(P\rightarrow C\). The principal objective in this paper is to establish the following theorem. Theorem. Let \(C\) be an \(\omega\)-category. For every \(k\in\mathbb{N}\), we have \[ H_{k}(C)\simeq H_{k}^{\mathrm{pol}}(C). \] The restriction of the above theorem to the case of monoids is precisely Corollary 3 of [\textit{Y. Lafont} and \textit{F. Métayer}, J. Pure Appl. Algebra 213, No. 6, 947--968 (2009; Zbl 1169.18002), \S 3.4], but the author's novelty lies in his more conceptual proof than theirs. Besides, the actural result in this paper (Theorem 8.3) is more precise than the above theorem in that \begin{itemize} \item[(a)] The homology of an \(\omega\)-category, whether polygraphic or of the nerve, is considered as a chain complex up to quasi-isomorphism, but not only a sequence of abelian groups. \item[(b)] It is established that the polygraphic homology and homology of the nerve of a small category are naturally isomorphic with the natural isomorphism explicitly constructed. \end{itemize}