Symmetric Monoidal Structure with Local Character is a Property
In previous work we proved that, for categories of free finite-dimensional modules over a commutative semiring, linear compact-closed symmetric monoidal structure is a property, rather than a structure. That is, if there is such a structure, then it is uniquely defined (up to monoidal equivalence)....
| 主要な著者: | , , |
|---|---|
| フォーマット: | 論文 |
| 言語: | English |
| 出版事項: |
Open Publishing Association
2019-01-01
|
| シリーズ: | Electronic Proceedings in Theoretical Computer Science |
| オンライン･アクセス: | http://arxiv.org/pdf/1805.12088v2 |