Univalent Monoidal Categories

Published in TYPES 2022 post-proceedings, 2023

Recommended citation: https://doi.org/10.4230/LIPIcs.TYPES.2022.15