Flagged higher categories

David Ayala, John Francis

Research output: Chapter in Book/Report/Conference proceedingChapter

4 Scopus citations


We introduce flagged (∞, n)-categories and prove that they are equivalent to Segal sheaves on Joyal’s category Θ n. As such, flagged (∞, n)-categories provide a model-independent formulation of Segal sheaves. This result generalizes the statement that n-groupoid objects in spaces are effective, as we explain and contextualize as an instance of Koszul duality. Along the way, we establish a useful expression for the univalent-completion of such a Segal sheaf. Finally, we conjecture a characterization of flagged (∞, n)-categories as stacks on (∞, n)-categories that satisfy descent with respect to colimit diagrams that do not generate invertible i-morphisms for any i.

Original languageEnglish (US)
Title of host publicationContemporary Mathematics
PublisherAmerican Mathematical Society
Number of pages37
StatePublished - 2018

Publication series

NameContemporary Mathematics
ISSN (Print)0271-4132
ISSN (Electronic)1098-3627


  • (∞, n)-categories
  • Cech nerve
  • Flagged higher categories
  • Groupoid objects
  • Higher categories
  • Segal spaces
  • Univalence

ASJC Scopus subject areas

  • General Mathematics


Dive into the research topics of 'Flagged higher categories'. Together they form a unique fingerprint.

Cite this