Showing math.CTShow all
2 papers · 1 filter
math.CT2024
The -category of internal -categories
Raffael Stenzel
We define and study the -category of -categories internal to a general -category via an assoc…
math.CT2023
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…