{"id":"arxiv/2609.29967","url":"https://arxiv.org/abs/2609.29967","tags":["math.CT","math.AT"],"score":0,"title":"Groupoidal polygraphic homology","domain":"math.CT","source":"arxiv","authors":["Léonard Guetta","François Métayer"],"reviews":0,"subject":"math.CT","summary":"We show that for a 1-category C, the (ω, k)-polygraphic homology of C for any k {\\geq} 1, that is taken with cofibrant resolutions in strict (ω, 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 ω-groupoids. In order to show these results, we develop the theory of discrete Conduché fibrations in the category of strict (ω, k)-categories, building on previous…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-24","reactions":{}}