Category theory/math cool
6 videos • 23 views • by Henri Tuhola
1
Emily Pillmore: Type Arithmetic and the Yoneda Lemma
Scala World
Download
2
A working (class) introduction to Homotopy Type Theory: The favourite type theory of the proletariat
Sophie Taylor
Download
3
Bartosz Milewski – Replacing functions with data
Konfy
Download
4
Haskell 2021 - Practical Normalization by Evaluation for EDSLs
ACM SIGPLAN
Download
5
A Taste of Topos Theory - Mark Hopkins
FP-SYD
Download
6
What is category theory?
Topos Institute
Download