TY  - RPRT
TI  - Synthetic fibered $(\infty,1)$-category theory
AU  - Ulrik Buchholtz
AU  - Jonathan Weinberger
PY  - 2022
UR  - https://arxiv.org/abs/2105.01724
ID  - 2105.01724
ER  -