functor on groups

C64190 concept

A functor on groups is a structure-preserving mapping from the category of groups to another category (often groups or sets) that assigns to each group an object and to each group homomorphism a corresponding morphism, respecting composition and identities.

Instances (1)