Matthew Weaver, A constructive model of directed univalence in bicubical sets

E5.E – A Constructive Model of Directed Univalence in Bicubical SetsSee more

Matthew Weaver's MovieSee more

[CL-THEORY] Andrew Pitts, "Unfinity Categories"See more

Constructive Type Theory and Homotopy - Steve AwodeySee more

Denis-Charles Cisinski, Univalence of the universal coCartesian fibrationSee more

Andrew Pitts, Axiomatizing cubical sets models of univalent foundationsSee more

Cisinski, Nguyen, Walde: Univalent Directed Type theory, Part 1See more

Hoang Kim Nguyen, Directed univalence in simplicial setsSee more

Higher Inductive Types in Cubical Computational Type TheorySee more

Evan Cavallo, Cubes with one connection and relative eleganceSee more

John Milnor: SpheresSee more

Homotopy and Univalence - Thorsten AltenkirchSee more

What Is Omitted Variable Bias?See more

Univalence from a computer science point-of-view - Dan LicataSee more

Lecture 2: Cantor's Theory of Cardinality (Size)See more

How do the manufacturer proceed the gluing process for wetsuit？See more

Ulrik Buchholtz, (Co)cartesian families in simplicial type theorySee more