Implication Details
Claim: If a category is Malcev and is pointed, then it is unital.
Proof: This follows from Corollary 2.2.10 in Malcev, protomodular, homological and semi-abelian categories. The proof is also written down in MSE/5033161.
Show 10 categories using this implication
- category of Banach spaces with linear contractions
- category of filtered vector spaces
- category of finite groups
- category of groups
- category of countable groups
- category of rngs
- category of pointed sets
- category of pointed topological spaces
- category of torsion abelian groups
- category of torsion-free abelian groups