UNIVALENT ENRICHED CATEGORIES AND THE ENRICHED REZK COMPLETION. - VAN DER WEIDE, NIELS (Logical Methods in Computer Science (LMCS), 2026)