Processing math: 100%
homeHome ViewLayout PrintPrinter Friendly   searchSearch LoginAdd Event
Mathematics Calendar

October 14, 2020
Wednesday, October 14
Geometry and Topology
Time: 19:00
Speaker: Yuki Maehara (Macquarie University)
Title: "Triangulating weak ω-categories into weak ω-categories"
Room: Zoom Meeting ID: 958 6908 4555

Abstract: Tim Campion, Chris Kapulkin and I recently proposed certain (marked) cubical sets as a model for weak ω-categories (a.k.a. (,)-categories). This model is a sort of cubical adaptation of Verity's complicial sets (which are simplicial), and we made the analogy more precise (than a mere resemblance of definitions) by proving the triangulation functor to be left Quillen and strong monoidal with respect to both lax and pseudo Gray tensor products. In this talk, I will define these models, explain the intuition behind the definitions, and give a flavour of the sort of combinatorics that went into the proofs.