Coherence for closed categories with biproducts
A coherence result for symmetric monoidal closed categories with biproducts is shown in this paper. It is explained how to prove, by using the same technique, coherence for compact closed categories with biproducts and for dagger compact closed categories with dagger biproducts.
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | A coherence result for symmetric monoidal closed categories with biproducts
is shown in this paper. It is explained how to prove, by using the same
technique, coherence for compact closed categories with biproducts and for
dagger compact closed categories with dagger biproducts. |
|---|---|
| DOI: | 10.48550/arxiv.2001.09736 |