UNAM

An (∞, 2)-categorical pasting theorem

Ponente: Martina Rovelli
Institución: University of Massachusetts Amherst
 Tipo de Evento: Investigación
Cuándo 02/09/2021
de 13:00 a 14:00
Dónde En linea (zoom)
Agregar evento al calendario vCal
iCal

Power's 2-categorical pasting theorem, asserting that any pasting diagram in a 2-category has a unique composite, is at the basis of the 2-categorical graphical calculus, which is used extensively to develop the theory of 2-categories. In this talk we discuss an (∞, 2)-categorical analog of the pasting theorem, asserting that the space of composites of any pasting diagram in an (∞, 2)-category is contractible. This result, which is joint with Hackney—Ozornova—Riehl, rediscovers independent work by Columbus.