Applied Category Theory

(1:6:13)

The First Real Application of Category Theory #SoME3

(12:45)

A Sensible Introduction to Category Theory

(26:20)

A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2

(4:19)

Evan Patterson: Principles and pitfalls of designing software for applied category theory

(1:3:34)

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

(50:45)

Applied Category Theory • Ken Scambler • YOW! 2019

(24:51)

JuliaCon 2020 | AlgebraicJulia: Applied Category Theory in Julia | James Fairbanks

(26:11)

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

(38:32)

What's information? orgmode and applied category theory.

(5:14)

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

(50:57)

Applied Category Theory. Chapter 6, lecture 1 (Spivak)

(51:24)