Applied Category Theory. Chapter 2, lecture 1 (Spivak)
Applied Category Theory MIT Course 18.S097 Independent Activities Period (IAP) 2019 Taught by David Spivak and Brendan Fong © Spifong
▶︎
Applied Category Theory. Chapter 2, lecture 2 (Fong)
▶︎
Applied Category Theory. Chapter 1, lecture 2 (Fong)
▶︎
A Sensible Introduction to Category Theory
▶︎
Applied Category Theory. Chapter 1, lecture 1 (Spivak)
▶︎
A Crash Course in Category Theory - Bartosz Milewski
▶︎
A Categorical View of Computational Effects
▶︎
ACT@UCR Seminar: Mathematics in the 21st Century - John Baez
▶︎
Category Theory 1.2: What is a category?
▶︎
David Spivak - Category Theory - Part 1 of 6 - λC 2017
▶︎
Programming with Categories - Lecture 1
▶︎
What are we tracking? How Applied Category Theory puts thinking on rails
▶︎
Category Theory Foundations, Lecture 1
▶︎
Category theory foundations 1.1 — Steve Awodey
▶︎
What is category theory?
▶︎
Terence Tao: Nobody Understands Why AI Actually Works
▶︎
André JOYAL - 2/4 A crash course in topos theory : the big picture
▶︎
Billionaire's WARNING: I'm SELLING. The Crash Is Already Here!
▶︎
ACT 2020 Tutorial: Introduction to Applied Category Theory (David Spivak)
▶︎