Difference between revisions of "Compatibility"
Jump to navigation
Jump to search
(Created page with "In Jeremy Mann's lecture on Intro to Category Theory series, the notion of compatibility has a formal and generalized meaning. It can be u...") |
|||
| 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>{{:Video/Intro to Category Theory IV: A Notion of Equivalence}}</ref>, the notion of [[compatibility]] has a formal and generalized meaning. It can be understood as a kind of [[type identity]]. In other words, [[compatibility]] is a loose kind of [[equivalence]]<ref>{{:Video/Intro to Category Theory IV: A Notion of Equivalence}}</ref> property. | ||
<noinclude> | |||
=References= | |||
<references/> | |||
=Related Pages= | |||
[[Category:Category Theory]] | |||
[[Category:Meta Mathematics]] | |||
[[Category:Software Engineering]] | |||
[[Category:Data Science]] | |||
</noinclude> | |||
Revision as of 03:53, 27 March 2022
In Jeremy Mann's lecture on Intro to Category Theory series[1][2][3][4], the notion of compatibility has a formal and generalized meaning. It can be understood as a kind of type identity. In other words, compatibility is a loose kind of equivalence[5] property.
References
- ↑ Mann, Jeremy (Jun 25, 2020). Intro to Category Theory I: the Data of a Category. local page: Jeremy Mann.
- ↑ Mann, Jeremy (July 10, 2020). Intro to Category Theory II: Elementary Examples. local page: Jeremy Mann.
- ↑ Mann, Jeremy (Sep 5, 2020). Intro to Category Theory III: More Mathematical Examples. local page: Jeremy Mann.
- ↑ Mann, Jeremy (Sep 21, 2020). Intro to Category Theory IV: A Notion of Equivalence. local page: Jeremy Mann.
- ↑ Mann, Jeremy (Sep 21, 2020). Intro to Category Theory IV: A Notion of Equivalence. local page: Jeremy Mann.