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