Questions tagged [protomodular-categories]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
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 ...
Arrow's user avatar
  • 10.3k
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 ...
Arrow's user avatar
  • 10.3k
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 ...
Arrow's user avatar
  • 10.3k
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 ...
Arrow's user avatar
  • 10.3k