Adjoint functors

Layer 0 — Mathematicsin the category-theory subtree

F ⊣ G iff Hom(F A, B) ≅ Hom(A, G B) natural in A, B. Universal constructions (free/forgetful, product/diagonal, tensor/hom). Right adjoints preserve limits.

Related concepts

Functor F: C → D
Kan extension
Model category
Cartesian closed category

Explore Adjoint functors on the interactive knowledge graph →