Mathematical Sciences Research Institute

Home » Cubical Sets (Part 1): Cubical ω-Categories and a Cubical Θ Category


Cubical Sets (Part 1): Cubical ω-Categories and a Cubical Θ Category May 15, 2020 (04:00 PM PDT - 05:00 PM PDT)
Parent Program:
Location: MSRI: Online/Virtual
Speaker(s) Brandon Shapiro (Cornell University)
Description No Description
No Video Uploaded

[This is a joint project with Tim Campion and Chris Kapulkin.]

Some (n+1)-cubes in a cubical ω-category witness equalities between n-cubes while others are "genuine" (n+1)-dimensional morphisms. It has been shown by Steiner that, if we "mark" the (n+1)-cubes of the former kind, then the ω-category structure can be recovered from the underlying marked cubical set. In particular, the composition operations correspond to certain open boxes admitting unique marked fillers. One would expect dropping the uniqueness condition (and adding other suitable conditions) to lead to a model for weak ω-categories (aka (∞,∞)-categories), and our project aims to establish various expected properties of this model. Our emphasis is on the (lax

and pseudo) Gray tensor products and how they relate to Verity's complicial model.

Asset no preview Notes 15.3 MB application/pdf
No Video Files Uploaded