Scott's Representation Theorem and the Univalent Karoubi Envelope. - Arnoud van der Leer; Kobe Wullaert; Benedikt Ahrens (CoRR, 2025)