Theorem A for marked 2-categories

DOI10.1016/J.JPAA.2022.107040MaRDI QIDQ2125170zbMATH OpenOpenAlexWikidataFDO

Authors Fernando Abellán García, Walker H. Stern

Publication date 13 April 2022

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2002.12817

zbMATH Keywords

2-categorycofinalityinfinity categorylocalizationmarked colimitQuillen's theorem A

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) 2-categories, bicategories, double categories (18N10) Simplicial sets, simplicial objects (18N50) Localizations (e.g., simplicial localization, Bousfield localization) (18N55) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) ((infty, n))-categories and ((infty,infty))-categories (18N65)

Abstract: In this work, we prove a generalization of Quillen's Theorem A to 2-categories equipped with a special set of morphisms which we think of as weak equivalences, providing sufficient conditions for a 2-functor to induce an equivalence on $(infty,1)$-localizations. When restricted to 1-categories with all morphisms marked, our theorem retrieves the classical Theorem A of Quillen. We additionally state and provide evidence for a new conjecture: the cofinality conjecture, which describes the relation between a conjectural theory of marked $(infty,2)$-colimits and our generalization of Theorem A.

Recommendations

• A generalization of Quillen's Theorem A for lax 2-functors
• Homotopy fiber sequences induced by 2-functors
• A Quillen's theorem A for strict -categories. II: The -categorical proof
• A Quillen's Theorem A for strict -categories. I: The simplicial proof
• A few localisation theorems

Cites work

• 2-Segal spaces as invertible infinity-operads
• A full and faithful nerve for 2-categories
• A generalization of Quillen's Theorem A for lax 2-functors
• A Quillen's Theorem A for strict -categories. I: The simplicial proof
• A Quillen's theorem A for strict -categories. II: The -categorical proof
• A relative 2-nerve
• Fibred 2-categories and bicategories
• Higher algebraic K-theory: I
• Higher categories and homotopical algebra
• Higher Topos Theory (AM-170)
• Left fibrations and homotopy colimits
• On the geometry of 2-categories and their classifying spaces
• Sigma limits in 2-categories and flat pseudofunctors

Cited in

(9)

• 2-Cartesian fibrations. I: A model for \(\infty\)-bicategories fibred in \(\infty\)-bicategories
• Bilimits are bifinal objects
• Marked colimits and higher cofinality
• A Quillen theorem B for strict \(\infty \)-categories
• A Quillen's theorem A for strict -categories. II: The -categorical proof
• A generalization of Quillen's Theorem A for lax 2-functors
• scientific article; zbMATH DE number 7692250 (Why is no real title available?)
• 2-Cartesian fibrations. II: A Grothendieck construction for -bicategories
• Marked limits in (, 2)-categories

This page was built for publication: Theorem A for marked 2-categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2125170)