Scott’s Representation Theorem and the Univalent Karoubi Envelope

Published in ITP 2025: 16th International Conference on Interactive Theorem Proving, 2025