{"id":"arxiv/2610.24720","url":"https://arxiv.org/abs/2610.24720","tags":["math.CT"],"score":0,"title":"The first Cech derived functor","domain":"math.CT","source":"arxiv","authors":["Maxime Culot","Tomas Everaert"],"reviews":0,"subject":"math.CT","summary":"Let $\\mathcal{C}$ be a semi-abelian category, $\\mathcal{D}$ a Birkhoff subcategory of $\\mathcal{C}$, and $I$ the associated reflector. For $C\\in \\mathcal{C}$, we establish an isomorphism between $\\mathrm{H}_1(\\mathrm{N}(I(\\check{C}(f,C))))$ (where $\\mathrm{N}$ is the Moore normalization functor and $\\check{C}(f,C)$ is a Cech resolution associated to $C$) and $\\mathrm{H}_1(\\mathrm{N}(I(\\mathbb{G}(C))))$ (where $\\mathbb{G}(C)$ is the canonical $\\mathbb{G}$-simplicial resolution of $C$ for $\\mathbb{G}$ the comonad derived from an adjunction $F\\colon \\mathcal{X}\\to \\mathcal{C}\\dashv U\\colon…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-17","reactions":{}}