Introduction to Cubical Sets

Introduction to Cubical Sets

Andrew Pitts, Axiomatizing cubical sets models of univalent foundationsSee more

Andrew Pitts, Axiomatizing cubical sets models of univalent foundations

Andrew Swan, Choice, collection and covering in cubical setsSee more

Andrew Swan, Choice, collection and covering in cubical sets

Introduction to Cubical Type Theory (Part II) (revised on 4/6)See more

Introduction to Cubical Type Theory (Part II) (revised on 4/6)

Introduction to Cubical Type Theory (Part I)See more

Introduction to Cubical Type Theory (Part I)

Cubical Models of ∞,1 CategoriesSee more

Cubical Models of ∞,1 Categories

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

Andrew Swan, Why cubical sets are different to simplicial sets

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

Andrew Swan, Double negation stable h-propositions in cubical sets

Discrete Homotopy Theory and Cubical SetsSee more

Discrete Homotopy Theory and Cubical Sets

Model Structures for ∞-Groupoids and ∞-Categories on Cubical SetsSee more

Model Structures for ∞-Groupoids and ∞-Categories on Cubical Sets

Introduction to Cubical Complexes and Persistence - Damiano - 2020See more

Introduction to Cubical Complexes and Persistence - Damiano - 2020

MIT 6.S191: Deep Generative ModelingSee more

MIT 6.S191: Deep Generative Modeling

Favonia, Cartesian cubical type theorySee more

Favonia, Cartesian cubical type theory

Brandon Doherty, Cubical models of (∞,1)-categoriesSee more

Brandon Doherty, Cubical models of (∞,1)-categories

Thorsten Altenkirch - 1/2 Towards a Syntax for Cubical Type TheorySee more

Thorsten Altenkirch - 1/2 Towards a Syntax for Cubical Type Theory

Anders Mortberg: "Cubical Methods in Homotopy Type Theory and Univalent Foundations"See more

Anders Mortberg: 'Cubical Methods in Homotopy Type Theory and Univalent Foundations'

Simon Huber, Homotopy canonicity for cubical type theorySee more

Simon Huber, Homotopy canonicity for cubical type theory

Daniel Carranza: Cubical Setting for Discrete Homotopy TheorySee more

Daniel Carranza: Cubical Setting for Discrete Homotopy Theory

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

Chris Kapulkin: 'Cubical setting for Discrete Homotopy Theory'

Events