Equivalences in diagrammatic sets
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915688925364224 |
|---|---|
| author | Chanavat, Clémence Hadzihasanovic, Amar |
| author_facet | Chanavat, Clémence Hadzihasanovic, Amar |
| contents | We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $ω$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the expected properties: they include all degenerate cells, are closed under 2-out-of-3, and satisfy an appropriate version of the "division lemma", which ensures that enwrapping a diagram with equivalences at all sides is an invertible operation up to higher equivalence. On the way to this result, we develop methods, such as an algebraic calculus of natural equivalences, for handling the weak units and unitors which set this framework apart from strict $ω$-categories. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_00123 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Equivalences in diagrammatic sets Chanavat, Clémence Hadzihasanovic, Amar Category Theory Algebraic Topology 18N20, 18N30, 18N65 We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $ω$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the expected properties: they include all degenerate cells, are closed under 2-out-of-3, and satisfy an appropriate version of the "division lemma", which ensures that enwrapping a diagram with equivalences at all sides is an invertible operation up to higher equivalence. On the way to this result, we develop methods, such as an algebraic calculus of natural equivalences, for handling the weak units and unitors which set this framework apart from strict $ω$-categories. |
| title | Equivalences in diagrammatic sets |
| topic | Category Theory Algebraic Topology 18N20, 18N30, 18N65 |
| url | https://arxiv.org/abs/2410.00123 |