On algebraic and more general categories whose split epimorphisms have underlying product projections (Q2350321)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On algebraic and more general categories whose split epimorphisms have underlying product projections |
scientific article |
Statements
On algebraic and more general categories whose split epimorphisms have underlying product projections (English)
0 references
19 June 2015
0 references
Conditions on an equational category \(\mathcal V\) to be semi-abelian, protomodular, unital and subtractive are considered. These conditions are expressed using the forgetful functors from the categories of split epimorphisms and split extensions over \(\mathcal V\) to \(\mathbf{Set}_*\). Biternary systems are considered as an example.
0 references
equational categories
0 references
split extensions
0 references
split epimorphisms
0 references
forgetful functors
0 references
semi-abelian
0 references
protomodular
0 references
unital
0 references
subtractive
0 references