An (∞,2)-categorical pasting theorem-Reference-Cited by-同舟云学术

An (∞,2)-categorical pasting theorem

Published:2022-10-03 Issue: Volume: Page:
ISSN:0002-9947
Container-title:Transactions of the American Mathematical Society
language:en
Short-container-title:Trans. Amer. Math. Soc.

Author:

Hackney Philip,Ozornova Viktoriya,Riehl Emily,Rovelli Martina

Abstract

We show that any pasting diagram in any(∞,2)(\infty ,2)-category has a homotopically unique composite. This is achieved by showing that the free 2-category generated by a pasting scheme is the homotopy colimit of its cells as an(∞,2)(\infty ,2)-category. We prove this explicitly in the simplicial categories model and then explain how to deduce the model-independent statement from that calculation.

Funder

Simons Foundation

Publisher

American Mathematical Society (AMS)

Subject

Applied Mathematics,General Mathematics

Link

https://www.ams.org/tran/0000-000-00/S0002-9947-2022-08783-3/tran8783_AM.pdf

Reference44 articles.

1. Vers une structure de catégorie de modèles à la Thomason sur la catégorie des 𝑛-catégories strictes;Ara, Dimitri;Adv. Math.,2014

2. Higher quasi-categories vs higher Rezk spaces;Ara, Dimitri;J. K-Theory,2014

3. Introduction to bicategories;Bénabou, Jean,1967

4. Iterated wreath product of the simplex category and iterated loop spaces;Berger, Clemens;Adv. Math.,2007

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Pushouts of Dwyer maps are (∞,1)–categorical;Algebraic & Geometric Topology;2024-07-16

2. Stratified Noncommutative Geometry;Memoirs of the American Mathematical Society;2024-05

3. Nerves and cones of free loop-free ω-categories;Tunisian Journal of Mathematics;2023-06-04