Subscribe by RSS Subscribe by RSS

Topology Seminar

Tue., Apr. 11, 2023 1:00 p.m.

Location: Live Stream

Speaker: Brandon Doherty, Stockholm University

Title: Cubical models of higher categories without connections (102 kB) PDF file

Zoom Link:


Cubical sets with connections model (∞, 1)-categories via the cubical Joyal model structure, constructed and shown to be equivalent to the Joyal model structure on simplicial sets by Doherty–Kapulkin–Lindsey–Sattler. In the same work, an analogous model structure was constructed on the category of cubical sets without connections (i.e., having only faces and degeneracies), but was not shown to be equivalent to any other model of (∞, 1)-categories.

In this talk, we will review the cubical Joyal model structure on cubical sets without connections and discuss the proof that it is Quillen equivalent to the Joyal model structure on simplicial sets, using a construction by which a fibrant cubical set without connections can be equipped with connections via lifting. This talk is based on the paper of the same title, arXiv:2207.03636.


Topology Seminar Webpage: