Cubical Models of ∞,1 Categories

Cubical Models of ∞,1 Categories

Brandon Doherty: Cubical models of higher categories without connectionsSee more

Brandon Doherty: Cubical models of higher categories without connections

Evan Cavallo, Cubes with one connection and relative eleganceSee more

Evan Cavallo, Cubes with one connection and relative elegance

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

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

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

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

A cubical model for weak ω-categoriesSee more

A cubical model for weak ω-categories

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

Univalence from a computer science point-of-view - Dan Licata

Actual