Mathematical Sciences Research Institute

Home » Cubical Sets (Part 2): A cubical model for weak ω-categories


Cubical Sets (Part 2): A cubical model for weak ω-categories May 15, 2020 (05:00 PM PDT - 06:00 PM PDT)
Parent Program:
Location: MSRI: Online/Virtual
Speaker(s) Yuki Maehara (Institute of Mathematics for Industry)
Description No Description

A Cubical Model For Weak Ω-Categories


[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.

No Notes/Supplements Uploaded

A Cubical Model For Weak Ω-Categories

H.264 Video 25046_28435_8351_A_Cubical_Models_for_Weak_w-Categories.mp4