Andrew Swan, Choice, collection and covering in cubical sets

Andrew Swan, Why cubical sets are different to simplicial setsSee more

Growing up Pentecostal... #shortSee more

Towards an enveloping infinity topos for the effective topos - Andrew SwanSee more

Andrew Swan, Double negation stable h-propositions in cubical setsSee more

Anders Mörtberg, Unifying cubical models of homotopy type theorySee more

Introduction to Cubical SetsSee more

Real Time Event Processing and Decision MakingSee more

Andrew Pitts, Axiomatizing cubical sets models of univalent foundationsSee more

Discrete Homotopy Theory and Cubical SetsSee more

PhD Pure MathematicsSee more

What is Abstract Algebra? (Modern Algebra)See more

Chris Kapulkin: "Cubical setting for Discrete Homotopy Theory"See more

Group theory 101: How to play a Rubik’s Cube like a piano - Michael StaffSee more

Evan Cavallo, Why some cubical models don't present spacesSee more

Yuki Maehara, A cubical model for weak ω-categoriesSee more

Simon Huber, Homotopy canonicity for cubical type theorySee more

Higher Inductive Types in Cubical Computational Type TheorySee more

LHC ComputingSee more