• Corpus ID: 244714486

Limits and colimits in internal higher category theory

  title={Limits and colimits in internal higher category theory},
  author={Louis Martini and Sebastian Johannes Wolf},
We develop a number of basic concepts in the theory of categories internal to an $\infty$-topos. We discuss adjunctions, limits and colimits as well as Kan extensions for internal categories, and we use these results to prove the universal property of internal presheaf categories. We furthermore construct the free cocompletion of an internal category by colimits that are indexed by an arbitrary class of diagram shapes. 
4 Citations
Cocartesian fibrations and straightening internal to an $\infty$-topos
We define and study cartesian and cocartesian fibrations between categories internal to an ∞-topos and prove a straightening equivalence in this context.
Internal sums for synthetic fibered (∞,1)-categories
. We give structural results about bifibrations of (internal) ( ∞ , 1) categories with internal sums. This includes a higher version of Moens’ Theo- rem, characterizing cartesian bifibrations with
Strict stability of extension types
. We show that the extension types occurring in Riehl–Shulman’s work on synthetic ( ∞ , 1)-categories can be interpreted in the intended seman- tics in a way so that they are strictly stable under
Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
. Within the framework of Riehl–Shulman’s synthetic ( ∞ , 1)-category theory, we present a theory of two-sided cartesian fibrations. Central results are several characterizations of the two-sidedness