The stack of higher internal categories and stacks of iterated spans

arXiv1506.08870MaRDI QIDQ6263129FDOQ6263129

Authors: David Li-Bland 

Publication date: 29 June 2015

Abstract: In this paper, we show that two constructions form stacks: Firstly, as one varies the $infty$-topos, $mathcalX$, Lurie's homotopy theory of higher categories internal to $mathcalX$ varies in such a way as to form a stack over the $infty$-category of all $infty$-topoi. Secondly, we show that Haugseng's construction of the higher category of iterated spans in a given $infty$-topos (equipped with local systems) can be used to define various stacks over that $infty$-topos. As a prerequisite to these results, we discuss properties which limits of $infty$-categories inherit from the $infty$-categories comprising the diagram. For example, Riehl and Verity have shown that possessing (co)limits of a given shape is hereditary. Extending their result somewhat, we show that possessing Kan extensions of a given type is heriditary, and more generally that the adjointability of a functor is heriditary.

Mathematics Subject Classification ID

Lagrangian submanifolds; Maslov index (53D12) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Topological categories, foundations of homotopy theory (55U40)

This page was built for publication: The stack of higher internal categories and stacks of iterated spans

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