Difference between revisions of "Category Theory"
Jump to navigation
Jump to search
BenKoo>Benkoo |
BenKoo>Benkoo |
||
| Line 1: | Line 1: | ||
Category Theory is a foundational representation of mathematics. It directly relates to how data and computation can be represented as [[function]]s or [[relation]]s. Due to its generally applicable nature, it is so general that many mathematicians calls it [[wikipedia:Abstract nonsense|Abstract nonsense]]. | Category Theory is a foundational representation of mathematics. It directly relates to how data and computation can be represented as [[function]]s or [[relation]]s. Due to its generally applicable nature, it is so general that many mathematicians calls it [[wikipedia:Abstract nonsense|Abstract nonsense]]. | ||
The | The seminal paper, A General Theory of Natural Equivalence<ref>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</ref> that defined the outline of Category Theory was written by [[wikipedia:Saunders MacLane|Saunders MacLane]] and [[wikipedia:Samuel Eilenberg|Samuel Eilenberg]]. | |||
Revision as of 01:10, 1 May 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.
- ↑ 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