Implication Details
Assumptions: elementary topos
Conclusions: co-Malcev
Reason: This is Example 2.2.18 in Malcev, protomodular, homological and semi-abelian categories. An alternative proof is given later in A.5.17.
Assumptions: elementary topos
Conclusions: co-Malcev
Reason: This is Example 2.2.18 in Malcev, protomodular, homological and semi-abelian categories. An alternative proof is given later in A.5.17.