Seminar

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

Notes 10.6 MB application/pdf

Constructing Cubes From Semicubes