View source for Compatibility

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>