6 citations · 10 across the 7 of their papers we have counts for
Showing 2019 · math.CTShow all
2 papers · 2 filters
math.CT2019★ 6 cited
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…
math.CT2019
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…