Functor

Math has many different parts.

A tool called a functor links these parts. It moves things from one group to another. It can move objects and the paths between them.

It keeps the patterns the same during the move. Some functors even turn paths around. This helps math experts see how different ideas work together. Functors are used in many areas of math today.

Math has many different parts.

A tool called a functor links these parts. It moves things from one group to another. In math, a group of things is called a category. A functor is a way to map one category to another.

It does not just move objects. It also moves the paths between them. These paths are called morphisms. A functor must keep the patterns the same. It must keep the identity paths and the way paths join together.

Some functors are called covariant. They move things in the same direction. Others are called contravariant. These functors turn the paths around. This helps math experts see how different ideas work together. Functors are used in many areas of math today. They help link shapes to algebra. They can even link groups to sets. Some functors are called forgetful functors. They take a complex group and turn it into a simple set. This lets us see the basic parts of a math idea.

Math has many different parts that sometimes seem to live in separate worlds.

A tool called a functor helps connect these worlds. In math, a collection of related things is called a category. A functor is a special way to map one category to another. It does not just move the individual objects from one group to another. It also moves the paths between those objects, which mathematicians call morphisms. This allows experts to see how one area of math relates to a completely different area.

To be a true functor, the mapping must follow very strict rules. First, it must associate every object in the first category with an object in the second. Second, it must associate every morphism in the first category with a morphism in the second. The functor must also preserve the identity morphism for every object. It must also preserve the composition of morphisms. This means if two paths join together in the first category, their new versions must join together the same way in the second category.

There are different ways these mappings can behave. Most functors are called covariant, meaning they move things in the same direction. However, some functors are called contravariant, which means they turn the morphisms around. These contravariant functors reverse the direction of composition. Some people also call these cofunctors. In physics, the words covariant and contravariant are used to describe how vectors and covectors act. This terminology comes from how indices are placed in math expressions.

Functors have been used in many important ways throughout history. They were first considered in a field called algebraic topology. In that field, mathematicians used functors to link algebraic objects to topological spaces. For example, a fundamental group can be linked to a space. The words category and functor actually come from the world of philosophy. The word category was borrowed from Aristotle. The word functor was borrowed from the philosopher Rudolf Carnap. Carnap used the word in a way that related to language.

Today, functors are used in almost every part of modern mathematics. They can be very simple or quite complex. A constant functor maps everything to one single fixed object. A forgetful functor is a type that takes a complex structure and turns it into a simpler one. For example, it might take a group and turn it into a basic set. This helps mathematicians see the underlying parts of an idea. There are even bifunctors that work with two different arguments at once.

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.