Skip to main content

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