Groupoidal polygraphic homology
En palabras de los autores
We show that for a 1-category C, the ({\omega}, k)-polygraphic homology of C for any k {\geq} 1, that is taken with cofibrant resolutions in strict ({\omega}, k)- categories, does not depend on k and is canonically isomorphic to the homology of the classifying space of C. When C is a groupoid, we also show this for k = 0. In particular, this means that the classical homology of groups can be obtained by taking cofibrant resolutions in strict {\omega}-groupoids. In order to show these results, we develop the theory of discrete Conduch\'e fibrations in the category of strict ({\omega}, k)-categories, building on previous work by the first-named author.
Apareció: viernes, 25 de septiembre. arXiv. Preprint, todavía sin revisión por pares.
Comentario de los autores: 41 pages