Difference between revisions of "Kan extension"

Latest revision as of 13:09, 24 March 2022

Redirect to:

@@ Line 1: / Line 1: @@
-A Kan extension is a mathematical object<ref>{{:Thesis/All Concepts are Kan extensions}}</ref> that can be used to represent [[Concept|concepts]] or [[Idea|ideas]].
+#REDIRECT [[Kan Extensions]]
-=Left and Right Kan Extensions=
-There are two kinds of Kan Extensions, left and right. They may be compared to the notion of horizontal and vertical composition in [[Category Theory]].
-=Left and Right Adjoint=
-Left and Right Kan Extensions can be thought of as Left and Right [[Adjoint Functors]] when the target is mapped by an [[Identity Functor]].
-==List of Videos==
-* [[Video/Kan Lifts and Kan Extensions, part 1|Kan Lifts and Kan Extensions, Part 1]]
-* [[Video/Kan Extensions and Kan Lifts, Part 2|Kan Extensions and Kan Lifts, Part 2]]
-* [[Video/Kan Extensions|Kan Extensions by  MathProofsable]]
-* [[Video/Category Theory For Beginners: Kan Extensions|Category Theory For Beginners: Kan Extensions]]
-<noinclude>
-=References=
-[[Category:Kan extension]]
-[[Category:Adjoint Functors]]
-</noinclude>