Kobe Wullaert

icon company TU Delft

Results 3 issues of Kobe Wullaert

Added proof of univalence of the bicategory of univalent monoidal categories

15 comment

This pull request now makes use of the sigma construction of displayed bicategories.

Added an example of a monoidal section where an object in the total c…

2 comment

…ategory consists of a set together with a subset.

Added basics of Braided and Closed monoidal categories