@article{vanderweide-2026-univalent, title={Univalent Enriched Categories and the Enriched Rezk Completion}, volume={Volume 22, Issue 2}, ISSN={1860-5974}, url={http://dx.doi.org/10.46298/lmcs-22(2:25)2026}, DOI={10.46298/lmcs-22(2:25)2026}, journal={Logical Methods in Computer Science}, publisher={Centre pour la Communication Scientifique Directe (CCSD)}, author={van der Weide, Niels}, year={2026}, month=June }