Semiabelian categories are pointed exact protomodular categories with coproducts. Suitable for questions about protomodular categories as well.
Semiabelian categories are pointed exact protomodular categories with coproducts. Suitable for questions about protomodular categories as well.