Category Theory
On the Universality
of Adjunctions
This article is being drafted.
Mac Lane wrote that "adjoint functors arise everywhere." A survey of the most striking instances — free/forgetful, product/hom, syntax/semantics — and what it means for two constructions to be mutually adjoint. Expected: June 2026.
Mac Lane wrote that "adjoint functors arise everywhere." A survey of the most striking instances — free/forgetful, product/hom, syntax/semantics — and what it means for two constructions to be mutually adjoint. Expected: June 2026.