TY  - RPRT
TI  - Homotopies in Grothendieck fibrations
AU  - Joseph Helfer
PY  - 2022
UR  - https://arxiv.org/abs/1905.10690
ID  - 1905.10690
ER  -