R. Stenzel

collaborators

Showing math.CTShow all

3 papers · 1 filter

math.CT2026

The $(\infty, 2)$ -category of internal $(\infty, 1)$ -categories

Raffael Stenzel

We define and study the $(\infty, 2)$ -category $Cat_{\infty} (C)$ of $(\infty, 1)$ -categories internal to a general $(\infty, 1)$ -category $C$ via an assoc…

math.CT2024

$(\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 me…

math.CT2024

Higher geometric sheaf theories

Raffael Stenzel

We introduce the notion of a higher covering diagram in a base $\infty$ -category $C$ . The theory of higher covering diagrams in $C$ will be shown to recover var…

The (∞,2)-category of internal (∞,1)-categories

(∞,1)-Categorical Comprehension Schemes

Higher geometric sheaf theories

The $(\infty, 2)$ -category of internal $(\infty, 1)$ -categories

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