Kan extension

Definition

Kan extensions are universal constructs in category theory, a branch of mathematics. They are closely related to adjoints, but are also related to limits and ends. They are named after Daniel M. Kan, who constructed certain (Kan) extensions using limits in 1960.

Related concepts

2-functor 2-group 2-ring 3-category Abelian category Additive category Adjoint functors Algebraic category Bicategory Cartesian closed category Categories for the Working Mathematician Categorification Category (mathematics)Category of abelian groups Category of groups Category of magmas Category of modules Category of relations Category of rings Category of sets Category theory Codensity monad Coend (category theory)Coequalizer Cokernel Colimit Comma category Commutative diagram Complete category Concrete category Cone (category theory)Conservative functor Constrained optimization Copower (category theory)Coproduct Daniel Kan Derived functor Diagonal functor Diagram (category theory)Direct limit Dual (category theory)En-ring End (category theory)Enriched category Epimorphism Equaliser (mathematics)Equivalence of categories Essentially surjective functor Exact functor Exponential object Forgetful functor Free category Full and faithful functors Functor Functor category Glossary of category theory Graduate Texts in Mathematics Henri Cartan Higher-dimensional algebra Higher category theory Homological algebra Homotopy hypothesis If and only if Initial and terminal objects Initial object Inverse limit Isomorphism Isomorphism of categories Kernel (category theory)Kleisli category Left adjoint Limit (category theory)Localization of a category Mathematics Model category Monoidal category Monoidal functor Monomorphism Morphism N-group (category theory)N-monoid NLab Natural transformation Object (category theory)Opposite category Outline of category theory Overcategory Poset Pre-abelian category Preadditive category Princeton University Press Product (category theory)Product category Pseudo-functor Pullback (category theory)Pushout (category theory)Quasi-category Quotient category Representable functor Samuel Eilenberg Saunders Mac Lane Simplex category Small category Smooth functor Springer-Verlag Strict 2-category Strict n-category String diagram Subcategory Symmetric monoidal category Terminal object Tetracategory Topos Traced monoidal category Tricategory Universal construction Universal property Up to Weak n-category Yoneda lemma Zero morphism ∞-groupoid ∞-topos

10 concepts already in your glossary