Compatibility

From PKC
Revision as of 03:56, 27 March 2022 by Benkoo (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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

  1. ↑ Mann, Jeremy (Jun 25, 2020). Intro to Category Theory I: the Data of a Category. local page: Jeremy Mann. 
  2. ↑ Mann, Jeremy (July 10, 2020). Intro to Category Theory II: Elementary Examples. local page: Jeremy Mann. 
  3. ↑ Mann, Jeremy (Sep 5, 2020). Intro to Category Theory III: More Mathematical Examples. local page: Jeremy Mann. 
  4. ↑ 4.0 4.1 Mann, Jeremy (Sep 21, 2020). Intro to Category Theory IV: A Notion of Equivalence. local page: Jeremy Mann. 

Related Pages

Retrieved from "https://pkc.pub/index.php?title=Compatibility&oldid=28510"