Yuki Maehara, A cubical model for weak ω-categories
A cubical model for weak ω-categoriesSee more
The Equivariant Uniform Kan Fibration Model of Cubical Homotopy Type TheorySee more
Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive TypesSee more
Andrew Swan, Why cubical sets are different to simplicial setsSee more
Group theory 101: How to play a Rubik’s Cube like a piano - Michael StaffSee more
[HoTT/UF 2021] Globular weak omega-categories as models of a type theorySee more
![[HoTT/UF 2021] Globular weak omega-categories as models of a type theory](https://img.youtube.com/vi/A1FmCD3K05U/0.jpg)
Anders Mörtberg, Unifying cubical models of homotopy type theorySee more
Introduction to Cubical SetsSee more
Adjunctions as Kan ExtensionsSee more
∞-Category Theory for UndergraduatesSee more
Emily Riehl on Topology, Categories, and the Future of MathematicsSee more
Hamayoun Angar "Pashto Remix" NEW AFGHAN SONG 2019 همایون انگار - ریمکس پشتوSee more
Andrew Pitts, Axiomatizing cubical sets models of univalent foundationsSee more
Propositions as Types - ComputerphileSee more
Simon Huber, Homotopy canonicity for cubical type theorySee more
Discrete Homotopy Theory and Cubical SetsSee more
Daniel Carranza: Cubical Setting for Discrete Homotopy TheorySee more
Researchers Use Group Theory to Speed Up Algorithms — Introduction to GroupsSee more
Chris Kapulkin: "Cubical setting for Discrete Homotopy Theory"See more
