Some of the things I've learned every day since Oct 10, 2016
86: Forgetful Functors
January 7, 2017Posted by on
Forgetful functors are, as the name implies, functors between categories that forget something about the structure or properties of the objects and arrows in the source category of the functor.
- The functor , which maps groups to their underlying sets and group homomorphisms to themselves. forgets the group structure and that group homomorphisms are anything other than functions between sets.
- The functor from the category of abelian groups to the category of groups. simply maps groups and group homomorphisms to themselves, essentially forgetting that the source groups are abelian.