A torsion group is a group such that ….
Torsion groups and group homomorphisms form a category Tor; abelian torsion groups and group homomorphisms form a category AbTor.