Title: Local higher category theory
Speaker: Rick Jardine
This talk will discuss a local variation of higher category, which is due to Nicholas Meadows.Date: Monday, February 27, 2017
The work was motivated by the need for a local to global approach to identifying features of large structures in computer science. The original invariant of interest is the path category of a cubical set, which appears in models for parallel processing systems (concurrency theory). The path category, or fundamental category, is an invariant of quasi category weak equivalence, so that Joyal's homotopy theory of quasi categories and Meadows' presheaf theoretic variants give frameworks for concurrency models, respectively "classical" and large scale.