On algebraic and more general categories whose split epimorphisms have underlying product projections
Category Theory
2012-08-13 v1
Abstract
We characterize those varieties of universal algebras where every split epimorphism considered as a map of sets is a product projection. In addition we obtain new characterizations of protomodular, unital and subtractive varieties as well as varieties of right omega-loops and biternary systems.
Cite
@article{arxiv.1208.2032,
title = {On algebraic and more general categories whose split epimorphisms have underlying product projections},
author = {James R. A. Gray and Nelson Martins-Ferreira},
journal= {arXiv preprint arXiv:1208.2032},
year = {2012}
}