Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
The Rezk Completion for Elementary Topoi
Kobe Wullaert, Niels van der Weide
The development of category theory in univalent foundations and the formalization thereof is an active field of research. Categories in that setting are often assumed to be univale…
cs.LO2025
Scott's Representation Theorem and the Univalent Karoubi Envelope
Arnoud van der Leer, Kobe Wullaert, Benedikt Ahrens
Lambek and Scott constructed a correspondence between simply-typed lambda calculi and Cartesian closed categories. Scott's Representation Theorem is a cousin to this result for unt…
cs.LO2022
Univalent Monoidal Categories
Kobe Wullaert, Ralph Matthes, Benedikt Ahrens
Univalent categories constitute a well-behaved and useful notion of category in univalent foundations. The notion of univalence has subsequently been generalized to bicategories an…