Logo

Mathematical Sciences Research Institute

Home » Cubical Sets (Part 2): Test Category Structure of Cube Categories

Seminar

Cubical Sets (Part 2): Test Category Structure of Cube Categories May 06, 2020 (02:00 PM PDT - 03:00 PM PDT)
Parent Program:
Location: MSRI: Online/Virtual
Speaker(s) Brandon Shapiro (Cornell University)
Description No Description
Video

Test Category Structure Of Cube Categories

Abstract/Media

Test categories, first developed by Grothendieck, are categories whose presheaves can host a combinatorial model of the homotopy theory of spaces. The Homotopy Hypothesis suggests this equivalently describes a geometric model of infinity-groupoids, as in the example of simplicial sets, and to this effect Cisinski has shown that presheaves over a

(elegant local) test category model univalent type theory. This talk will cover background on test categories, show how all of the cube categories from the previous talk are test categories, and discuss why only some of them are strict test categories whose associated category of cubical sets models homotopy types and their cartesian products.

 

Zoom meeting ID: 930-5909-0699

Asset no preview Notes 13.2 MB application/pdf

Test Category Structure Of Cube Categories

H.264 Video 25042_28431_8326_Test_Category_Structure_of_Cube_Categories.mp4