Examples of (covariant) functors
January 19, 2012 Leave a comment
Last time we had a slightly awkward definition of a (covariant) functor, so I thought I’d clear some things up with some definitions and motivation. Don’t worry if you don’t understand why I keep writing “covariant” in parentheses. You’ll understand soon enough.
The idea of a functor is that it translates the diagrams we can draw in one category into diagrams in another category. Often times this lets us convert ideas and theorems in one category into another.
- Given any category , we have the identity functor. It takes an object to itself, and the morphism to itself. Pretty lame.
- Let be the category of groups with group homomorphisms, and let be the category of sets with set maps. Then there is a functor which takes each group to the set of elements in , and each group homomorphism to it’s underlying set map. In some sense, this functor shows us something obvious. It’s saying that every group is really just a set with more structure, and every group homomorphism is a set map but with more structure. Then says, take these things, and forget about the group structure; instead just think of them as sets. For this reason, we call it a forgetful functor.
- Similarly, there are forgetful functors from rings to sets, fields to sets, fields to rings, rings to groups, etc.
- One of my favorite examples of a forgetful functor is the functor from (the category of small categories) to (the category of directed graphs). It takes the “diagram of the category,” and forgets about the identity/associativity rules, and just keeps the underlying directed graph.
- If you know any algebraic topology, then you probably already know this fact, but any homology group is a functor from (the category of topological spaces with continuous maps) to (the category of abelian groups with group homomorphisms).