Kan extensions

इस पर आधारित

24 अनिवार्य पूर्वापेक्षाएँ (बिल्कुल नीचे तक)

आप सीखेंगे

• Define left and right Kan extensions by universal properties and compute them by pointwise formulas when the target has the necessary colimits or limits.
• Express limits, colimits and adjoint functors as Kan extensions.
• Use left Kan extension along the Yoneda embedding to extend a functor from representables to all presheaves.

परिभाषा

• A left Kan extension of F : C → E along K : C → D is a functor Lan_K F : D → E with a natural transformation F ⇒ (Lan_K F) ∘ K that is universal among such pairs.
• Right Kan extensions are defined dually.

प्रमेय

• Pointwise formula: (Lan_K F)(d) is the colimit of F over the comma category (K ↓ d), when these colimits exist.
• The limit of F : J → C is the right Kan extension of F along the unique functor from J to the terminal category.
• A functor G has a left adjoint if and only if the right Kan extension of the identity along G exists and is preserved by G; that Kan extension is then the left adjoint.

आम भ्रांतियाँ

• Thinking Kan extensions always exist; they do when the source is small and the target has enough colimits (or limits).
• Confusing left and right Kan extensions; pointwise left Kan extensions are computed by colimits.

वैकल्पिक खोजें

• ∞-categories Kan extensions, limits and adjunctions all have ∞-categorical versions that are central to modern homotopy theory.
• ← Universal properties

आगे पढ़ने के लिए

• Saunders Mac Lane, Categories for the Working Mathematician (1971)
• Emily Riehl, Category Theory in Context (2016)