HOMOLOGICAL LEMMAS IN A NON-POINTED CONTEXT

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 o...

Full description

Saved in:
Bibliographic Details
Published inTheory and applications of categories Vol. 44; no. 18; p. 544
Main Authors Cappelletti, Andrea, Montoli, Andrea
Format Journal Article
LanguageEnglish
Published Sackville R. Rosebrugh 01.01.2025
Subjects
Online AccessGet full text
ISSN1201-561X

Cover

More Information
Summary: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.
Bibliography:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ISSN:1201-561X