variety
class of algebraic structures that is closed under subalgebras, homomorphic images and direct products
category of rings
category of rings and ring homomorphisms
category of modules
category in mathematics
category of groups
category of groups and group homomorphisms