String diagrams for Strictification and Coherence
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2022
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910685864132608 |
|---|---|
| author | Wilson, Paul Ghica, Dan Zanasi, Fabio |
| author_facet | Wilson, Paul Ghica, Dan Zanasi, Fabio |
| contents | Whereas string diagrams for strict monoidal categories are well understood, and have found application in several fields of Computer Science, graphical formalisms for non-strict monoidal categories are far less studied. In this paper, we provide a presentation by generators and relations of string diagrams for non-strict monoidal categories, and show how this construction can handle applications in domains such as digital circuits and programming languages. We prove the correctness of our construction, which yields a novel proof of Mac Lane's strictness theorem. This in turn leads to an elementary graphical proof of Mac Lane's coherence theorem, and in particular allows for the inductive construction of the canonical isomorphisms in a monoidal category. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2201_11738 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | String diagrams for Strictification and Coherence Wilson, Paul Ghica, Dan Zanasi, Fabio Category Theory Whereas string diagrams for strict monoidal categories are well understood, and have found application in several fields of Computer Science, graphical formalisms for non-strict monoidal categories are far less studied. In this paper, we provide a presentation by generators and relations of string diagrams for non-strict monoidal categories, and show how this construction can handle applications in domains such as digital circuits and programming languages. We prove the correctness of our construction, which yields a novel proof of Mac Lane's strictness theorem. This in turn leads to an elementary graphical proof of Mac Lane's coherence theorem, and in particular allows for the inductive construction of the canonical isomorphisms in a monoidal category. |
| title | String diagrams for Strictification and Coherence |
| topic | Category Theory |
| url | https://arxiv.org/abs/2201.11738 |