Difference between revisions of "Category Theory"

From PKC
Jump to navigation Jump to search
Line 7: Line 7:


For starters, the following video series would be great starting points for people who wants to know more about Category Theory.
For starters, the following video series would be great starting points for people who wants to know more about Category Theory.
To obtain an orientation of Category Theory, the following 3 part Category Theory introductory video series by [[John Peloquin]] can be finished in 40 minutes.
{{#ev:youtube|A9z0T7UmJIQ|||||}}


==Richard Southwell==
==Richard Southwell==

Revision as of 13:26, 2 July 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.

To obtain an orientation of Category Theory, the following 3 part Category Theory introductory video series by John Peloquin can be finished in 40 minutes.

{{#ev:youtube|A9z0T7UmJIQ|||||}}

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.

Topos institute publishes its lectures on Youtube, for example:

Compositional Active Inference: A “Process Theory” for Finding Right Abstractions

A talk by: Toby St Clere Smithe.

{{#ev:youtube|CoVKGFH6wRQ|||||}}

The video's slide set[2] is available.

William Lawvere

{{#ev:youtube|https://www.youtube.com/watch?v=ZYGyEPXu8as%7C%7C%7C%7C%7C}}

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
  2. Smithe, Toby St Clere (May 17, 2021). Compositional Active Inference (PDF) (Speech). Topos Institute Colloquium. ZOOM/Youtube.