{"id":"arxiv/2609.06428","url":"https://arxiv.org/abs/2609.06428","tags":["math.CT","math.RA"],"score":0,"title":"A two-categorical Snake Lemma","domain":"math.CT","source":"arxiv","authors":["Elena Caviglia","Luca Mesiti","Tim Van der Linden"],"reviews":0,"subject":"math.CT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-06","reactions":{}}