On the “Smith is Huq” Condition in S-Protomodular Categories

Martins-Ferreira, Nelson;Montoli, Andrea
(2015) Applied Categorical Structures : a journal devoted to applications of categorical methods in algebra, analysis, order, topology and computer science — (2015)

Files

document.pdf
  • Restricted Access
  • Adobe PDF
  • 997.63 KB

Details

Authors
  • Martins-Ferreira, Nelson
    Author
  • Montoli, AndreaUCLouvain
    Author
Abstract
We study the so-called “Smith is Huq” condition in the context of S-protomodular categories: two S-equivalence relations centralise each other if and only if their associated normal subobjects commute. We prove that this condition is satisfied by every category of monoids with operations equipped with the class S of Schreier split epimorphisms. Some consequences in terms of characterisation of internal structures are explored.
Affiliations

Citations

Martins-Ferreira, N., & Montoli, A. (2015). On the “Smith is Huq” Condition in S-Protomodular Categories. Applied Categorical Structures : a journal devoted to applications of categorical methods in algebra, analysis, order, topology and computer science. Accepted/in-press. https://doi.org/10.1007/s10485-015-9411-1 (Original work published 2015)