Compatibility
Revision as of 03:49, 27 March 2022 by Benkoo (talk | contribs) (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...")
In Jeremy Mann's lecture on 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.