Functors

前置知识

15 项必需的前置知识（一直追溯到底）

你将学会

• Verify that the power-set, forgetful and hom functors are functors, and that a contravariant functor from C to D is the same as a functor Cᵒᵖ → D.
• Explain why functors preserve isomorphisms and use this to show that objects are not isomorphic.
• Describe the free monoid on a set (finite lists) and the free vector space on a set as functors.

定义

• A functor F : C → D assigns to each object A of C an object F(A) of D and to each morphism f : A → B a morphism F(f) : F(A) → F(B), such that F(g ∘ f) = F(g) ∘ F(f) and F(id_A) = id_{F(A)}.
• A contravariant functor from C to D is a functor Cᵒᵖ → D.
• For an object A of a locally small category C, the hom functor Hom(A, −) : C → Set sends each object B to the set of morphisms A → B.

定理

• Functors preserve isomorphisms: if f is an isomorphism, so is F(f).
• Functors compose, and small categories with functors form a category Cat.
• The fundamental group is a functor from pointed spaces to groups; functoriality shows there is no retraction of the disc onto its boundary circle.

常见误解

• Thinking a functor must be injective on objects or on morphisms.
• Believing every functor reflects isomorphisms, so that F(f) invertible would force f invertible; this fails in general.

通向

可选发现

• Homotopy and the fundamental group π₁ is a functor, and functoriality gives a short proof of the Brouwer fixed-point theorem for the disc.
• The Yoneda lemma Hom functors are the raw material of the Yoneda lemma.
• Algebraic topology Homology groups are functors: a continuous map induces homomorphisms, compatibly with composition and identities. Algebraic topology was one of the original motivations for category theory (Eilenberg and Mac Lane, 1945).
• ← Composition
• ← Algebraic structures: monoids, groups and rings
• ← Multivariable and vector calculus
• ← Groups
• ← Matrix groups and continuous symmetry
• ← Representation theory of finite groups
• ← Smooth manifolds

学习路径

• Undergraduate mathematics major

延伸阅读

• Tom Leinster, Basic Category Theory (2014)
• Emily Riehl, Category Theory in Context (2016)