Internal sums for synthetic fibered $(\infty,1)$-categories
Abstract
We give structural results about bifibrations of (internal) -categories with internal sums. This includes a higher version of Moens' Theorem, characterizing cartesian bifibrations with extensive aka stable and disjoint internal sums over lex bases as Artin gluings of lex functors. We also treat a generalized version of Moens' Theorem due to Streicher which does not require the Beck--Chevalley condition. Furthermore, we show that also in this setting the Moens fibrations can be characterized via a condition due to Zawadowski. Our account overall follows Streicher's presentation of fibered category theory \`{a} la B\'{e}nabou, generalizing the results to the internal, higher-categorical case, formulated in a synthetic setting. Namely, we work inside simplicial homotopy type theory, which has been introduced by Riehl and Shulman as a logical system to reason about internal -categories, interpreted as Rezk objects in any given Grothendieck--Rezk--Lurie -topos.
Keywords
Cite
@article{arxiv.2205.00386,
title = {Internal sums for synthetic fibered $(\infty,1)$-categories},
author = {Jonathan Weinberger},
journal= {arXiv preprint arXiv:2205.00386},
year = {2024}
}
Comments
59 pages. This text is based on Section 3.4 and Chapter 5 from author's PhD thesis arXiv:2202.13132, with varioius additions and improvements. Revised version, accepted for publication at the Journal of Pure and Applied Algebra