Homological Lemmas in a Non-pointed Context
Category Theory
2025-07-03 v2
Abstract
We show that non-pointed versions of the classical homological lemmas hold in regular protomodular categories equipped with a suitable posetal monocoreflective subcategory. Examples of such categories are all protomodular varieties of universal algebras having more than one constant, like the ones of unitary rings, Boolean algebras, Heyting algebras and MV-algebras, their topological models, and the dual category of every elementary topos.
Cite
@article{arxiv.2405.11038,
title = {Homological Lemmas in a Non-pointed Context},
author = {Andrea Cappelletti and Andrea Montoli},
journal= {arXiv preprint arXiv:2405.11038},
year = {2025}
}