TY  - RPRT
TI  - Univalent Enriched Categories and the Enriched Rezk Completion
AU  - Niels van der Weide
PY  - 2026
DO  - 10.46298/lmcs-22(2:25)2026
UR  - https://arxiv.org/abs/2401.11752
ID  - 2401.11752
ER  -