English

The snail lemma and the long homology sequence

Category Theory 2026-03-04 v1

Abstract

In the first part of the paper, we establish an homotopical version of the snail lemma (which is a generalization of the classical snake lemma). In the second part, we introduce the category Seq(A)\mathbf{Seq}(\mathcal A) of sequentiable families of arrows in a category A\mathcal A and we compare it with the category of chain complexes in A.\mathcal A. We apply the homotopy snail lemma to a morphism in Seq(A)\mathbf{Seq}(\mathcal A) obtaining first a six-term exact sequence in Seq(A)\mathbf{Seq}(\mathcal A) and then, unrolling the sequence in Seq(A),\mathbf{Seq}(\mathcal A), a long exact sequence in A.\mathcal A. When A\mathcal A is abelian, this sequence subsumes the usual long homology sequence obtained from an extension of chain complexes.

Keywords

Cite

@article{arxiv.2503.06577,
  title  = {The snail lemma and the long homology sequence},
  author = {Julia Ramos González and Enrico Vitale},
  journal= {arXiv preprint arXiv:2503.06577},
  year   = {2026}
}

Comments

31 pages