$(\infty ,1)$-Categorical Comprehension Schemes

Raffael Stenzel

We define and study notions of comprehension in $(\infty ,1)$-category theory. In essence, we do so by implementing Bénabou's foundations of naive category theory in a univalent met…