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

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

Brandon Doherty: Cubical models of higher categories without connectionsSee more

Brandon Doherty: Cubical models of higher categories without connections

Necklaces and Cubical CategoriesSee more

Necklaces and Cubical Categories

Cubical Models of ∞,1 CategoriesSee more

Cubical Models of ∞,1 Categories

Andrew Pitts, Axiomatizing cubical sets models of univalent foundationsSee more

Andrew Pitts, Axiomatizing cubical sets models of univalent foundations

Christian Sattler: Do cubical models of type theory also model homotopy typesSee more

Christian Sattler: Do cubical models of type theory also model homotopy types

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

Yuki Maehara, A cubical model for weak ω-categories

Lecture 1: Model and с-categoriesSee more

Lecture 1: Model and с-categories

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

Andrew Swan, Why cubical sets are different to simplicial sets

Matthew Weaver, A constructive model of directed univalence in bicubical setsSee more

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

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

Andrew Swan, Choice, collection and covering in cubical sets

Introduction to Homotopy Theory: Part 8- Homotopy in Model CategoriesSee more

Introduction to Homotopy Theory: Part 8- Homotopy in Model Categories

Higher Algebra 1: ∞-CategoriesSee more

Higher Algebra 1: ∞-Categories

What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explainsSee more

What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains

News