Category Theory

From PKC
Revision as of 01:11, 1 May 2021 by BenKoo>Benkoo
Jump to navigation Jump to search

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.


References

  1. 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