6 citations · 10 across the 7 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
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.AT2019★ 1 cited
Bousfield-Segal spaces
Raffael Stenzel
This paper is a study of Bousfield-Segal spaces, a notion introduced by Julie Bergner drawing on ideas about Eilenberg-Mac Lane objects due to Bousfield. In analogy to Rezk's Segal…
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…