TY  - RPRT
TI  - Univalent Double Categories
AU  - Niels van der Weide
AU  - Nima Rasekh
AU  - Benedikt Ahrens
AU  - Paige Randall North
PY  - 2023
UR  - https://arxiv.org/abs/2310.09220
ID  - 2310.09220
ER  -