Latest revision as of 03:56, 27 March 2022

In Jeremy Mann's lecture on Intro to Category Theory series^[1]^[2]^[3]^[4], the notion of compatibility is presented in a systematic and generalizable sense. It requires the audience to watch the full sequence to see why compatibility is such a useful concept in understanding Category Theory. It can be understood as a kind of type identity. In other words, compatibility is a loose kind of equivalence^[4] property.

References

@@ Line 1: / Line 1: @@
-In [[Jeremy Mann]]'s lecture on [[Intro to Category Theory|Intro to Category Theory]] series, the notion of [[compatibility]] has a formal and generalized meaning. It can be understood as a kind of [[type identity]].
+In [[Jeremy Mann]]'s lecture on [[Intro to Category Theory|Intro to Category Theory]] series<ref>{{:Video/Intro to Category Theory I: the Data of a Category}}</ref><ref>{{:Video/Intro to Category Theory II: Elementary Examples}}</ref><ref>{{:Video/Intro to Category Theory III: More Mathematical Examples}}</ref><ref name="equivalence">{{:Video/Intro to Category Theory IV: A Notion of Equivalence}}</ref>, the notion of [[compatibility]] is presented in a systematic and generalizable sense. It requires the audience to watch the full sequence to see why [[compatibility]] is such a useful concept in understanding [[Category Theory]]. It can be understood as a kind of [[type identity]]. In other words, [[compatibility]] is a loose kind of [[equivalence]]<ref name="equivalence" /> property.
+<noinclude>
+=References=
+<references/>
+=Related Pages=
+[[Category:Category Theory]]
+[[Category:Meta Mathematics]]
+[[Category:Software Engineering]]
+[[Category:Data Science]]
+</noinclude>