Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2402.01285 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914664342880256 |
|---|---|
| author | Petric, Zoran Zekic, Mladen |
| author_facet | Petric, Zoran Zekic, Mladen |
| contents | This paper is addressed to logicians not familiar with category theory. It gives a new proof of coherence for symmetric monoidal closed categories, proven by Kelly and Mac Lane in early 1970s. We find this result of great importance for proof theory and it is formulated here in pure logical terminology free of categorial notions. Coherence is related to the generality conjecture in general proof theory and we hope that our formulation will make it closer to the proof-theoretical community. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_01285 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Coherence for logicians Petric, Zoran Zekic, Mladen Logic 03B47, 03F05, 03F07, 03G30, 18M05, 18M30 This paper is addressed to logicians not familiar with category theory. It gives a new proof of coherence for symmetric monoidal closed categories, proven by Kelly and Mac Lane in early 1970s. We find this result of great importance for proof theory and it is formulated here in pure logical terminology free of categorial notions. Coherence is related to the generality conjecture in general proof theory and we hope that our formulation will make it closer to the proof-theoretical community. |
| title | Coherence for logicians |
| topic | Logic 03B47, 03F05, 03F07, 03G30, 18M05, 18M30 |
| url | https://arxiv.org/abs/2402.01285 |