Difference between revisions of "Category Theory"
m (2 revisions imported) |
|||
| Line 14: | Line 14: | ||
==Topos Institute== | ==Topos Institute== | ||
[https://topos.institute/ Topos Institute], founded by [http://www.dspivak.net/ David Spivak] and [http://brendanfong.com/ Brendan Fong], also has a [https://www.youtube.com/user/youdsp youtube channel] on Category Theory. | [https://topos.institute/ Topos Institute], founded by [http://www.dspivak.net/ David Spivak] and [http://brendanfong.com/ Brendan Fong], also has a [https://www.youtube.com/user/youdsp youtube channel] on Category Theory. | ||
==William Lawvere== | |||
{{#ev:youtube|https://www.youtube.com/watch?v=ZYGyEPXu8as|||||}} | |||
=References= | =References= | ||
Revision as of 03:32, 21 June 2021
Category Theory is a foundational representation of mathematics. It directly relates to how data and computation can be represented as functions or relations. Due to its generally applicable nature, it is so general that many mathematicians calls it Abstract nonsense.
The seminal paper, A General Theory of Natural Equivalence[1] that defined the outline of Category Theory was written by Saunders MacLane and Samuel Eilenberg.
Category Theory Online Tutorials
For starters, the following video series would be great starting points for people who wants to know more about Category Theory.
Richard Southwell
Richard Southwell has a youtube channel on many subjects about math, particularly having a long series on Category Theory.
Topos Institute
Topos Institute, founded by David Spivak and Brendan Fong, also has a youtube channel on Category Theory.
William Lawvere
{{#ev:youtube|https://www.youtube.com/watch?v=ZYGyEPXu8as%7C%7C%7C%7C%7C}}
References
- ↑ Samuel Eilenberg, Saunders MacLane, General Theory of Natural Equivalences, Transactions of the American Mathematical Society Vol. 58, No. 2 (Sep., 1945), pp. 231-294, American Mathematical Society, https://www.jstor.org/stable/1990284?seq=1