3 papers
math.CT2025
Abelian objects in categories with normal projections
Michael Hoefnagel, Zurab Janelidze
It is known that in (regular) unital and in subtractive categories, internal abelian groups are simply behaved; e.g., they are the same as internal algebras satisfying $s(x…
math.CT2025
On extensivity of morphisms
Michael Hoefnagel, Emma Theart
Extensivity of a category may be described as a property of coproducts in the category, namely, that they are disjoint and universal. An alternative viewpoint is that it is a prope…
math.CT2024
Partial algebras and implications of (weak) matrix properties
Michael Hoefnagel, Pierre-Alain Jacqmin
Matrix properties are a type of property of categories which includes the ones of being Mal'tsev, arithmetical, majority, unital, strongly unital and subtractive. Recently, an algo…