Browsing Department of Informatics by Author "Piceghello, Stefano"
Now showing items 1-1 of 1
-
Coherence for Monoidal Groupoids in HoTT
Piceghello, Stefano (Journal article; Peer reviewed, 2020)We present a proof of coherence for monoidal groupoids in homotopy type theory. An important role in the formulation and in the proof of coherence is played by groupoids with a free monoidal structure; these can be represented ...