TY  - RPRT
TI  - Insights From Univalent Foundations: A Case Study Using Double Categories
AU  - Nima Rasekh
AU  - Niels van der Weide
AU  - Benedikt Ahrens
AU  - Paige Randall North
PY  - 2024
UR  - https://arxiv.org/abs/2402.05265
ID  - 2402.05265
ER  -