@misc{indiciae748fb2793592, title = {Scott's Representation Theorem and the Univalent Karoubi Envelope}, author = {Arnoud van der Leer and Kobe Wullaert and Benedikt Ahrens}, year = {2025}, url = {https://arxiv.org/abs/2506.22196}, note = {Source identifier: 2506.22196} }