Showing 2022Show all
2 papers · 1 filter
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…
cs.PL2022
Category Theory for Programming
Benedikt Ahrens, Kobe Wullaert
In these lecture notes, we give a brief introduction to some elements of category theory. The choice of topics is guided by applications to functional programming. Firstly, we stud…