Logo

Mathematical Sciences Research Institute

Home » Cubical Sets (Part 1): Constructing Cubes from Semicubes

Seminar

Cubical Sets (Part 1): Constructing Cubes from Semicubes May 06, 2020 (01:00 PM PDT - 02:00 PM PDT)
Parent Program:
Location: MSRI: Online/Virtual
Speaker(s) Brandon Shapiro (Cornell University)
Description No Description
Video

Constructing Cubes From Semicubes

Abstract/Media

All of the various cube categories are built by adding additional morphisms to the semicube category, such that every category of cubical sets comes with a forgetful functor to semicubical sets. This talk will focus on an alternative construction of those cube categories by means of, for each variant of cubical sets, a monad on semicubical sets making that forgetful functor is monadic. While each type of additional structure in cubical sets is typically motivated by logical or geometric considerations, we will also discuss how they each arise naturally from symmetry properties of the semicube category.

Zoom meeting ID: 930-5909-0699

Asset no preview Notes 10.6 MB application/pdf

Constructing Cubes From Semicubes

H.264 Video 25033_28422_8325_Constructing_Cubes_from_Semicubes.mp4