6 citations · 10 across the 7 of their papers we have counts for
6 papers · 1 filter
The -category of internal -categories
Raffael Stenzel
We define and study the -category of -categories internal to a general -category via an assoc…
Notions of -sites and related formal structures
Raffael Stenzel
We study various characterizations of higher sites over a given -category which are conceptually in line with their classical ordinary categorical counterpart…
Higher geometric sheaf theories
Raffael Stenzel
We introduce the notion of a higher covering diagram in a base -category . The theory of higher covering diagrams in will be shown to recover var…
-Categorical Comprehension Schemes
Raffael Stenzel
We define and study notions of comprehension in -category theory. In essence, we do so by implementing Bénabou's foundations of naive category theory in a univalent met…
Univalence and completeness of Segal objects
Raffael Stenzel
Univalence, originally a type theoretical notion at the heart of Voevodsky's Univalent Foundations Program, has found general importance as a higher categorical property that chara…
On notions of compactness, object classifiers and weak Tarski universes
Raffael Stenzel
We prove a correspondence between -small fibrations in simplicial presheaf categories equipped with the injective or projective model structure (and left Bousfield localizations…