TY - JOUR AU - Enrico M. Vitale TI - The snail lemma JO - Theory and applications of categories PY - 2016 SP - 484 EP - 501 VL - 31 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2016_31_a18/ LA - en ID - TAC_2016_31_a18 ER -