Functor — LLMpedia

Functor
Name	Functor
Discipline	Category theory
Introduced	1945
Notable	Saunders Mac Lane, Samuel Eilenberg
Related	Category, Natural transformation, Adjunction

Contents

Functor A functor is a structure-preserving mapping between categories first formalized by Samuel Eilenberg and Saunders Mac Lane in the mid-20th century; it relates objects and morphisms in one category to objects and morphisms in another while preserving identities and composition. Functors appear across Princeton University-level algebra, Cambridge University topology, Bourbaki-style algebraic geometry, and modern computational settings such as Microsoft Research type theory, linking developments in Hilbert space theory, Grothendieck's schemes, Eilenberg–MacLane spectrum construction, and categorical formulations used at IBM Research.

Definition

A functor F from a source category C to a target category D assigns to each object of C an object of D and to each morphism of C a morphism of D, satisfying identity and composition laws. This formalization owes to the collaboration of Samuel Eilenberg and Saunders Mac Lane in foundational papers connected to work at Columbia University and Princeton University, and it underpins constructions in Alexander Grothendieck's reformulation of algebraic geometry at the Institut des Hautes Études Scientifiques and the theory of Eilenberg–MacLane spaces. Functors are used in statements such as the Yoneda lemma in work associated with Nicolas Bourbaki-influenced authors and in model category theory developed by researchers at Massachusetts Institute of Technology and University of Chicago.

Standard examples include the forgetful functor from groups to sets and the free functor from sets to groups, the hom-functor associated to an object featuring in Yoneda Lemma expositions, and the fundamental group functor π1 from topological spaces to groups used in work by Henri Poincaré and later expositors at University of Göttingen. Sheaf-related functors appear in Grothendieck's treatment of schemes linking spec constructions to Étale cohomology; derived functors figure in Jean-Pierre Serre's and Alexander Grothendieck's cohomological frameworks. In computer science, type constructors used in functional programming and monads popularized by researchers at University of Glasgow and Xerox PARC act as endofunctors on categories of types.

Functors can be covariant or contravariant; covariant functors preserve arrow direction while contravariant functors reverse it, as in the duality exploited by Alexander Grothendieck and Serre in duality theorems. Particular classes include faithful, full, and essentially surjective functors studied in Mac Lane's texts and used to characterize equivalences between categories central to the work of Lawvere and Isbell. Additive functors occur in Algebraic K-theory and Homological algebra treatments by Daniel Quillen and Spencer Bloch; exact functors are key in Derived category theory developed by Alexandre Grothendieck-inspired schools. Monoidal functors respecting tensor structures appear in research by Max Kelly and in applications to Quantum groups explored at Princeton University and Institute for Advanced Study.

Functors compose to produce new functors, enabling the categorical chaining central to Adjoint functor theorem proofs and to constructions in Model category theory by Daniel Quillen. Limits and colimits interact with functors via limit-preserving (continuous) and colimit-preserving (cocontinuous) properties used in Sheaf theory and Topos theory initiated by Grothendieck and William Lawvere. Adjunctions between functors give rise to unit and counit natural transformations in the manner formalized by Eilenberg and Mac Lane; Kan extensions, both left and right, generalize extension-of-scalars operations known from Representation theory at institutions like Harvard University and University of California, Berkeley. Derived functor constructions underpin spectral sequence computations used by algebraic topologists influenced by J. H. C. Whitehead and Jean Leray.

Functorial methods structure modern Algebraic topology approaches to homology and cohomology theories developed by Henri Cartan and Jean-Pierre Serre; they formalize invariants in Algebraic geometry central to Grothendieckean research programs and to the proof strategies of major results taught at École Normale Supérieure and Princeton University. In theoretical computer science, functors and monads model effectful computation in languages developed at University of Glasgow, Yale University, and University of Cambridge; categorical semantics informs type systems in work by researchers at Microsoft Research and Bell Labs. Mathematical physics employs functorial field theories in the formulations of Atiyah and Segal used in topological quantum field theory research at Institute for Advanced Study and European Organization for Nuclear Research.

The notion emerged from correspondence and collaboration between Samuel Eilenberg and Saunders Mac Lane in the 1940s, formalized in publications associated with Columbia University and Princeton University. Subsequent expansion by Grothendieck in the 1950s and 1960s at the Institut des Hautes Études Scientifiques and Université Paris-Sud integrated functorial language into algebraic geometry and cohomology, while categorical perspectives were extended by William Lawvere, Max Kelly, Daniel Quillen, and others across University of Chicago, Massachusetts Institute of Technology, and Harvard University. Continued development in the late 20th and early 21st centuries saw applications at Microsoft Research, IBM Research, and in programming-language theory at Xerox PARC and University of Cambridge.