TY  - RPRT
TI  - $(\infty,1)$-Categorical Comprehension Schemes
AU  - Raffael Stenzel
PY  - 2024
UR  - https://arxiv.org/abs/2010.09663
ID  - 2010.09663
ER  -