An elementary definition of opetopic sets
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915251851624448 |
|---|---|
| author | Uemura, Taichi |
| author_facet | Uemura, Taichi |
| contents | We propose elementary definitions of opetopes and opetopic sets. We directly define opetopic sets by a simple structure and several axioms. Opetopes are then opetopic sets satisfying one more axiom. We show that our definition is equivalent to the polynomial monad definition given by Kock, Joyal, Batanin, and Mascari. We also show that our category of opetopes is equivalent to the one given by Ho Thanh. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_14935 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | An elementary definition of opetopic sets Uemura, Taichi Category Theory 18N20 (Primary) 18N30, 18C15 (Secondary) We propose elementary definitions of opetopes and opetopic sets. We directly define opetopic sets by a simple structure and several axioms. Opetopes are then opetopic sets satisfying one more axiom. We show that our definition is equivalent to the polynomial monad definition given by Kock, Joyal, Batanin, and Mascari. We also show that our category of opetopes is equivalent to the one given by Ho Thanh. |
| title | An elementary definition of opetopic sets |
| topic | Category Theory 18N20 (Primary) 18N30, 18C15 (Secondary) |
| url | https://arxiv.org/abs/2504.14935 |