On Algebraic and More General Categories Whose Split Epimorphisms Have Underlying Product Projections

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 Ω-loops and biternary systems.

• Type: Journal
• Year: 2015
• Where: ACS
• Authors: James Richard Andrew Gray, N. Martins-Ferreira
• Keywords: ACS 2015, Distributed And Parallel Computing