Coherent Presentations of Monoidal Categories
Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations where the objects are considered modulo an equivalence rela...
| 出版年: | Logical Methods in Computer Science |
|---|---|
| 主要な著者: | , |
| フォーマット: | 論文 |
| 言語: | 英語 |
| 出版事項: |
Logical Methods in Computer Science e.V.
2017-09-01
|
| 主題: | |
| オンライン･アクセス: | https://lmcs.episciences.org/3955/pdf |