A Categorical View of Computational Effects
46:40
The Probability Monad
45:28
Lambda World 2019 - A categorical view of computational effects - Emily Riehl
1:33:45
The Kreisel Lawvere Debate on Categories and the Foundations of Mathematics
1:10:39
Eugenia Cheng: Distributive laws for Lawvere theories
1:21:56
Emily Riehl: On the ∞-topos semantics of homotopy type theory: The simplicial model of...- Lecture 2
1:28:08
Emily Riehl | Feb 16, 2021 | Elements of ∞-Category Theory
41:31
Bidirectional Type Checking
56:34