Scott's Representation Theorem and the Univalent Karoubi Envelope.

Arnoud van der Leer, Kobe Wullaert, Benedikt Ahrens

Browse the full ITP paper archive.