The third symmetric product of a set is a set in HoTT 10YV2P9E8W
| URI | m2://res/10YV2P9E8W |
|---|---|
| Kind | preprint |
| Creators | Wojciech Paupa |
| Date | 2026-09-26 |
| MSC | 55-XX |
| Subjects | arxiv math.AT, arxiv cs.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-09-26 |
| Ids | arXiv 2609.32816, zbl_id 903184999 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| 6SNZSS1NVQ | statement | lemma 4.12 | arxiv |
| 8TYADA29X3 | definition | definition 4.7 | arxiv |
| 9712HAHBK1 | definition | definition 4.1 | arxiv |
| Buchholtz | statement | theorem 3.2 | arxiv |
| BG7M6EAJ88 | definition | definition 2.2 | arxiv |
| EMTYQ6SAJ6 | statement | fact 2.5 | arxiv |
| FYF010HT8Q | definition | definition 3.1 | arxiv |
| GBM6STK7M1 | statement | lemma 4.4 | arxiv |
| H1JVN1TJM0 | statement | lemma 4.11 | arxiv |
| PG15F5ZQE7 | statement | lemma 4.10 | arxiv |
| PZ50XZ6PBR | definition | definition 4.3 | arxiv |
| QQD61BV5YM | definition | definition 4.6 | arxiv |
| RKCH6BDAB2 | statement | fact 2.3 | arxiv |
| T28Z8PEQY4 | statement | lemma 4.9 | arxiv |
| TBYJDZJGD9 | statement | theorem 4.2 | arxiv |
| VGZMMZAGFW | statement | corollary 4.5 | arxiv |
| VRWH09TE4K | statement | lemma 4.8 | arxiv |
| WPJE63GH6H | definition | definition 2.1 | arxiv |
| YCHPP31YWN | definition | definition 2.4 | arxiv |
Catalogue records
- arxiv: 2609.32816 (work)
- arxiv_text: 2609.32816 (work)
- zbmath_search: 903184999 (work)