TY  - RPRT
TI  - Bicategories in Univalent Foundations
AU  - Benedikt Ahrens
AU  - Dan Frumin
AU  - Marco Maggesi
AU  - Niccolò Veltri
AU  - Niels van der Weide
PY  - 2022
DO  - 10.1017/s0960129522000032
UR  - https://arxiv.org/abs/1903.01152
ID  - 1903.01152
ER  -