Questions tagged [protomodular-categories]
The protomodular-categories tag has no usage guidance.
4
questions
2
votes
1
answer
118
views
Generalizing a codistributive property of sufficiently disjoint normal subgroups to protomodular categories
In a poset, whenever the meets and joins below exist, their universal properties induce a containment $$(A\vee B)\wedge (A\vee C)\geq A\vee(B\wedge C).$$ This is an instance of codistributivity. In a ...
5
votes
0
answers
161
views
Names for $\operatorname{Coker}\operatorname{ker}\cong \operatorname{Ker}\operatorname{coker}$ and $\operatorname{Coim}\cong \operatorname{Im}$?
Let $\operatorname{Coim}f$ be the cokernel of the kernel pair of an arrow. Let $\operatorname{Im}f$ be the kernel of the cokernel pair.
An interesting property of a category is the isomorphy of the ...
4
votes
0
answers
248
views
Relationship between pointed protomodularity and $\operatorname{Coker}\ker f\overset{\cong}{\longrightarrow}\operatorname{Ker}\operatorname{coker}f$
In hopes of understanding algebra better, I've been reading here and there about protomodular categories and the like. Among other things, the theory surrounding these (and some other) categories ...
2
votes
1
answer
165
views
Why does the monoid of central morphisms act transitively?
I'm reading and struggling with bits and pieces of the book Mal'cev, Protomodular, Homological, and Semi-Abelian categories by Borceux and Bourn. At the moment I'm having trouble with:
Theorem 1.3.22 ...