2-Cartesian Fibrations I: A Model for ∞ -Bicategories Fibred in ∞ -Bicategories

Link:
Autor/in:
Erscheinungsjahr:
2022
Medientyp:
Text
Schlagworte:
  • 2-Cartesian fibration
  • Infinity bicategory
  • Model structure
  • Scaled simplicial set
Beschreibung:
  • In this paper, we provide a notion of ∞-bicategories fibred in ∞-bicategories which we call 2-Cartesian fibrations. Our definition is formulated using the language of marked biscaled simplicial sets: Those are scaled simplicial sets equipped with an additional collection of triangles containing the scaled 2-simplices, which we call lean triangles, in addition to a collection of edges containing all degenerate 1-simplices. We prove the existence of a left proper combinatorial simplicial model category whose fibrant objects are precisely the 2-Cartesian fibrations over a chosen scaled simplicial set S. Over the terminal scaled simplicial set, this provides a new model structure modeling ∞-bicategories, which we show is Quillen equivalent to Lurie’s scaled simplicial set model. We conclude by providing a characterization of 2-Cartesian fibrations over an ∞-bicategory. This characterization then allows us to identify those 2-Cartesian fibrations arising as the coherent nerve of a fibration of SetΔ+-enriched categories, thus showing that our definition recovers the preexisting notions of fibred 2-categories.
Lizenz:
  • info:eu-repo/semantics/closedAccess
Quellsystem:
Forschungsinformationssystem der UHH

Interne Metadaten
Quelldatensatz
oai:www.edit.fis.uni-hamburg.de:publications/025d3da1-b738-42f1-9216-e3eda6cfbab6