ACT 2020 Tutorial: Introduction to Applied Category Theory (David Spivak)

What are we tracking? How Applied Category Theory puts thinking on railsSee more

Applied Category Theory. Chapter 1, lecture 1 (Spivak)See more

ACT 2020 Tutorial: The Yoneda lemma in the category of matrices (Emily Riehl)See more

ACT 2020 Tutorial: Introduction to string diagrams (Fabrizio Genovese)See more

ACT 2020 Tutorial: Monads and comonads (Paolo Perrone)See more

Applied Category Theory. Chapter 7, lecture 1 (Spivak)See more

David Spivak on Applied Category Theory and Large Language ModelsSee more

Applied Category Theory. Chapter 5, lecture 1 (Spivak)See more

Applied Category TheorySee more