Voir la notice de l'article provenant de la source Theory and Applications of Categories website
The classical snake lemma produces a six terms exact sequence starting from a commutative square with one of the edge being a regular epimorphism. We establish a new diagram lemma, that we call snail lemma, removing such a condition. We also show that the snail lemma subsumes the snake lemma and we give an interpretation of the snail lemma in terms of strong homotopy kernels. Our results hold in any pointed regular protomodular category.
@article{TAC_2016_31_a18, author = {Enrico M. Vitale}, title = {The snail lemma}, journal = {Theory and applications of categories}, pages = {484--501}, publisher = {mathdoc}, volume = {31}, year = {2016}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_2016_31_a18/} }
Enrico M. Vitale. The snail lemma. Theory and applications of categories, Tome 31 (2016), pp. 484-501. http://geodesic.mathdoc.fr/item/TAC_2016_31_a18/