Coherence for monoidal and symmetric monoidal groupoids in homotopy type theory

Stefano Piceghello
Bok · Engelsk · 2021 · Doktoravhandlinger((uri)https://id.nb.no/vocabulary/ntsf/61)

Originaltittel	[ Coherence for monoidal and symmetric monoidal groupoids in homotopy type theory ]
Omfang	1 bind
Emner	Gruppoider((NO-TrBIB)REAL009384) Homotopiteori((NO-TrBIB)REAL010482) Kategoriteori((NO-TrBIB)REAL012474)
Sjanger	Doktoravhandlinger((uri)https://id.nb.no/vocabulary/ntsf/61) . - Doktoravhandlinger(https://id.nb.no/vocabulary/ntsf/61)
ISBN	9788230867723