We sort of paused after our first category theory post. We left off with the definition of a functor. What should a functor be? Like group homomorphisms, ring homomorphisms, linear transformations, continuous maps, etc., it should be something that “preserves the structure of the category”. This is reflected in the following formal definition:
Definition: Let and be categories. Then a functor is a map that takes and , that preserves the identity map and composition laws.
What’s an example of this? Let and denote the categories of topological spaces and abelian groups. Then homology is simply a collection of functors . Ok, what about cohomology? Observe that cohomology is like the “opposite” of homology, in the sense that a map induces a map .
This brings us to the notion of the opposite of a category. If is a category, then is the category whose objects are the same as that of , but whose morphisms are reversed.
Then cohomology is a collection of functors . Functors have a special name – contravariant functors. (The ordinary functors are called covariant functors, but no one really says that. They just say functor.) Let’s give another example: for , we see that homotopy is simply a functor , where is the category of pointed spaces.
There are special kinds of functors, for which we need to introduce some more concepts (like hom-sets, etc.) This gives rise to a notion of equivalence between categories, which is much weaker (and more useful) than the (obvious) notion of an isomorphism of categories. This’ll be done in the next post.