TY  - RPRT
TI  - Univalent Monoidal Categories
AU  - Kobe Wullaert
AU  - Ralph Matthes
AU  - Benedikt Ahrens
PY  - 2023
DO  - 10.4230/lipics.types.2022.15
UR  - https://arxiv.org/abs/2212.03146
ID  - 2212.03146
ER  -