Functor

In the vast landscape of modern mathematics, different fields often appear to be separate worlds. Category theory provides a way to bridge these worlds using a concept called a functor. A functor is a mapping between categories. A category is a collection of objects and morphisms, which are the arrows or paths between those objects.

By using functors, mathematicians can translate problems from one area of study into another, revealing deep connections that were not previously obvious.

To function correctly, a functor must follow a precise set of rules. If we have a functor $F$ mapping from category $C$ to category $D$, it must perform two main tasks. First, it must associate every object in $C$ with a specific object in $D$. Second, it must associate every morphism in $C$ with a morphism in $D$. However, simply moving these pieces is not enough. The functor must also preserve the structure of the category. This means it must preserve identity morphisms, ensuring every object's self-loop remains intact. It must also preserve the composition of morphisms.

If two morphisms $f$ and $g$ can be composed in $C$, their images in $D$ must compose in the same way. This property ensures that the functor transforms any commutative diagram in the first category into a commutative diagram in the second.

Functors are categorized by how they handle the direction of morphisms. Most ordinary functors are called covariant. These functors move objects and morphisms in the same direction as the original category. In contrast, contravariant functors, sometimes called cofunctors, turn the morphisms around. When a contravariant functor maps a composition of morphisms, it reverses the order of that composition. This distinction is vital in many fields. For instance, in physics, the terms covariant and contravariant describe how vectors and covectors behave. This terminology relates to the position of indices, or "upstairs" and "downstairs" markers, in mathematical expressions. While the physics usage can seem contrary to category theory, it highlights how these concepts describe different types of transformations.

Some functors are even more complex, handling multiple inputs at once. A bifunctor, or binary functor, is a functor whose domain is a product category. A classic example is the Hom functor, which takes two arguments. It can be contravariant in one argument and covariant in the other. Moving beyond this, a multifunctor is a generalization that works with $n$ variables. These advanced structures allow mathematicians to model relationships that involve many interacting components simultaneously.

The history of these ideas is rooted in both math and philosophy. The term "category" was borrowed from the philosopher Aristotle. The term "functor" was borrowed from Rudolf Carnap, who used it in a linguistic context in his 1937 work, *The Logical Syntax of Language*. Mathematically, functors were first considered in algebraic topology. In this field, researchers associated algebraic objects, such as the fundamental group, with topological spaces. They used functors to relate continuous maps between spaces to maps between their corresponding algebraic groups. This breakthrough allowed topological problems to be solved using the tools of algebra.

Today, the applications of functors are incredibly diverse. One type is the forgetful functor, which simplifies a system by stripping away some of its structure. For example, a forgetful functor might take a complex group and map it to its underlying set of elements. Conversely, free functors work in the opposite direction, building complex structures like free groups from simple sets. Other specialized functors include the constant functor, which maps everything to a single fixed object, and the identity functor, which maps a category to itself. There are even limit functors, which assign a limit to every functor, provided the category is complete.

Functors serve as a universal language that connects many different mathematical systems. They allow for the study of group actions, where a functor from a group $G$ to the category of sets describes how $G$ acts on a set. They also appear in the study of differentiable manifolds through tangent bundles. By viewing functors as morphisms between categories, mathematicians can treat entire categories as objects themselves. This high-level perspective is essential for navigating the interconnected web of modern mathematical thought.