4.1 Definition and properties of adjoint functors

Adjoint functors are a powerful tool in category theory, allowing bidirectional transformations between categories. They consist of a left adjoint F and a right adjoint G, connected by a natural bijection between morphism sets.

The uniqueness theorem ensures that adjoint functors are essentially unique up to natural isomorphism. This property, along with the adjoint functor theorem and limit preservation, makes adjoints crucial for understanding categorical structures and constructing new functors.

Adjoint Functors: Definition and Fundamental Properties

Adjoint functors between categories

• Adjoint functors form a powerful pair of functors between two categories enabling bidirectional transformations
  • Left adjoint $F: C \to D$ maps objects and morphisms from category C to D
  • Right adjoint $G: D \to C$ maps objects and morphisms from category D to C
• Natural bijection establishes a correspondence between morphisms in both categories
  • $\text{Hom}_D(F(A), B) \cong \text{Hom}_C(A, G(B))$ for all objects $A$ in $C$ and $B$ in $D$
  • Enables translation of morphisms between categories (homomorphisms, continuous functions)
• Unit and counit serve as universal arrows in the adjunction
  • Unit $\eta: 1_C \to GF$ compares identity functor on C with composition GF
  • Counit $\epsilon: FG \to 1_D$ compares composition FG with identity functor on D
• Triangle identities ensure coherence of the adjunction
  • $G\epsilon \circ \eta G = 1_G$ verifies compatibility of unit and counit with G
  • $\epsilon F \circ F\eta = 1_F$ verifies compatibility of unit and counit with F

Uniqueness of adjoint functors

• Uniqueness theorem guarantees essential uniqueness of adjoint functors
  • If $F \dashv G$ and $F \dashv G'$, then $G \cong G'$ natural isomorphism between right adjoints
  • If $F \dashv G$ and $F' \dashv G$, then $F \cong F'$ natural isomorphism between left adjoints
• Proof strategy involves constructing natural isomorphisms
  • Utilize universal property of adjunctions to define component morphisms
  • Verify naturality and isomorphism conditions
• Yoneda lemma plays crucial role in establishing uniqueness
  • Relates natural transformations to representable functors
  • Allows reduction of functor equality to object-wise equality
• Natural transformations connect functors in the uniqueness proof
  • Between functors $G$ and $G'$ for right adjoint uniqueness
  • Between functors $F$ and $F'$ for left adjoint uniqueness

Applications and Implications of Adjoint Functors

Adjoint functor theorem

• General adjoint functor theorem provides conditions for existence of left adjoints
  • Solution set condition ensures "smallness" of potential candidates
  • Applicable to wide range of categories (abelian groups, topological spaces)
• Special adjoint functor theorem simplifies conditions for locally small, complete categories
  • Preservation of small limits replaces solution set condition
  • Useful in algebraic categories (rings, modules)
• Freyd's adjoint functor theorem applies to locally presentable categories
  • Characterizes existence of left adjoints through accessibility conditions
  • Relevant in categorical logic and topos theory
• Implications extend to various areas of mathematics
  • Constructing new functors by composing known adjoints
  • Characterizing categorical properties (limits, colimits, exponentials)

Limit preservation by adjoints

• Right adjoints preserve limits allowing transfer of limit structures
  • Proof utilizes natural isomorphism of hom-sets
  • Applies to products, pullbacks, equalizers
• Left adjoints preserve colimits enabling preservation of colimit structures
  • Dual statement to right adjoints
  • Applies to coproducts, pushouts, coequalizers
• Consequences impact various mathematical constructions
  • Forgetful functors often have left adjoints (free constructions)
  • Free constructions as left adjoints preserve colimits
• Examples illustrate practical applications
  • Free group functor preserves coproducts (disjoint unions)
  • Forgetful functor from groups to sets preserves products (Cartesian products)
• Relationship to representable functors connects to broader category theory
  • Adjoint functors naturally isomorphic to representable functors
  • Enables application of Yoneda lemma and related results