A comparison between weakly protomodular and protomodular objects in unital categories
Abstract
We compare the concepts of protomodular and weakly protomodular objects within the context of unital categories. Our analysis demonstrates that these two notions are generally distinct. To establish this, we introduce left pseudocancellative unital magmas and characterise weakly protomodular objects within the variety of algebras they constitute. Subsequently, we present an example of a weakly protomodular object that is not protomodular in this category.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.