What is a familiar example of an adjunction?

The free group functor is left adjoint to the functor that forgets the group structure of a group to its underlying set. Maps from a set into a group correspond naturally to homomorphisms from the free group on that set, which is exactly the adjunction bijection.

Why do mathematicians say adjoint functors arise everywhere?

Free constructions, completions, products and exponentials, and many relationships between a structure and a simpler shadow of it are adjunctions. The pattern is so common that spotting an adjunction is often the quickest route to a construction's universal property and its preservation of limits or colimits.

Adjoint Functors

Adjoint functors are pairs of functors related by a natural correspondence between morphisms, a pervasive pattern that captures free constructions, forgetful functors, and optimal solutions throughout mathematics.

Definition

A functor is left adjoint to a functor in the opposite direction when there is a natural bijection between morphisms from an object of the source to the image of an object and morphisms from its image to that object; this single relationship encodes a universal property for each object.

Scope

This topic covers the definition of an adjunction by a natural bijection of hom-sets, the equivalent formulations via unit and counit and via universal arrows, the preservation of limits by right adjoints and colimits by left adjoints, the adjoint functor theorems, and the connection between adjunctions and monads.

Core questions

What natural correspondence defines an adjunction between two functors?
How do the unit and counit encode the adjunction?
Why do right adjoints preserve limits and left adjoints preserve colimits?
When does a functor have an adjoint?

Key theories

Hom-set adjunction: An adjunction is a natural isomorphism between two hom-functors, so each left adjoint provides the free or most efficient solution to a problem posed by the right adjoint.
Unit, counit, and triangle identities: An adjunction is equivalently given by unit and counit natural transformations satisfying the triangle identities, a description well suited to computation and to defining monads.
Preservation of limits and colimits: Right adjoints preserve all limits and left adjoints preserve all colimits, a fact that explains many continuity and exactness properties and supports the adjoint functor theorems giving existence criteria.

Clinical relevance

Adjunctions are among the most unifying ideas in mathematics: free groups, tensor-hom relationships, Stone-Cech compactification, and the relation between syntax and semantics in logic are all adjunctions, and recognizing one immediately yields universal properties and preservation results, which is why category theorists regard adjointness as the central concept.

History

Daniel Kan introduced adjoint functors in 1958, recognizing the recurring pattern relating free and forgetful functors and other dual constructions. Lawvere highlighted adjunctions as foundational, including the adjointness between syntax and semantics, and Freyd's adjoint functor theorems gave general conditions for the existence of adjoints.

Key figures

Daniel Kan
Saunders Mac Lane
F. William Lawvere
Peter Freyd

Seminal works

maclane1998
awodey2010
riehl2016

Frequently asked questions

What is a familiar example of an adjunction?: The free group functor is left adjoint to the functor that forgets the group structure of a group to its underlying set. Maps from a set into a group correspond naturally to homomorphisms from the free group on that set, which is exactly the adjunction bijection.
Why do mathematicians say adjoint functors arise everywhere?: Free constructions, completions, products and exponentials, and many relationships between a structure and a simpler shadow of it are adjunctions. The pattern is so common that spotting an adjunction is often the quickest route to a construction's universal property and its preservation of limits or colimits.