A two-categorical Snake Lemma

Elena Caviglia, Luca Mesiti, Tim Van der Linden

arXivarxiv/2609.06428Sep 6, 2026math.CTscore 0

We prove a Snake Lemma for 2-categories. Working in a 2-category with a strong bizero object, we develop 2-kernels and 2-cokernels, 2-monomorphisms and 2-epimorphisms as fully faithful and cofully faithful 1-cells, short 2-exact sequences and normal image factorisations, and we prove a two-dimensional Normal Short Five Lemma. We then introduce the dinversion of an antinormal pair and the notion of a homologically self-dual 2-category, characterised equally by the self-duality of homology, by a Pure Snake Lemma and by a Third Isomorphism Property. Two-dimensional di-exactness implies…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2609.06428
curl -X POST /api/v1/records/arxiv/2609.06428/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.06428/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'