Semi-Cartesian squares and the Snake Lemma
Category Theory
2017-12-06 v1
Abstract
The well-known snake lemma is proved entirely within category theory, without the help of "points with value in..." \`a la Grothendieck, nor pseudo-elements as in Guglielmetti & Zaganidis. Instead, we define and use consistently semi-cartesian squares, which were promoted by C. Chevalley.
Cite
@article{arxiv.1712.01637,
title = {Semi-Cartesian squares and the Snake Lemma},
author = {Jean-Claude Raoult},
journal= {arXiv preprint arXiv:1712.01637},
year = {2017}
}
Comments
8 pages, self-contained