Concurrent Strategies as Street Fibrations SVJYA0171G
| URI | m2://res/SVJYA0171G |
|---|---|
| Kind | preprint |
| Creators | Hugo Paquet, Glynn Winskel |
| Date | 2026-09-29 |
| Subjects | arxiv cs.LO, arxiv math.CT |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-09-29 |
| Ids | arXiv 2609.37815 |
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 |
|---|---|---|---|
| 12QYNQYEZ3 | definition | definition 2.1 | arxiv |
| 1JCEBNH6M9 | definition | definition 4.1 | arxiv |
| 1WAHMASH8P | statement | theorem 8.3 | arxiv |
| 1WRW4MRXZC | definition | definition 4.3 | arxiv |
| 33859TW27D | statement | lemma 6.4 | arxiv |
| 38BPK72MD6 | definition | definition 4.6 | arxiv |
| 3F8KYJQ2EC | statement | lemma 2.4 | arxiv |
| Configurations of copycat | statement | lemma 5.2 | arxiv |
| 4709HF2Q0V | statement | corollary 6.11 | arxiv |
| Composition with copycat, adapted | statement | lemma 5.3 | arxiv |
| 6FP2ZKM0HR | definition | definition 6.2 | arxiv |
| 6KSDZ6F7Q8 | statement | proposition 2.3 | arxiv |
| 7XHZVB1KQD | statement | lemma 7.1 | arxiv |
| 8J65V3D9HD | statement | lemma 2.5 | arxiv |
| 8NPTE224SV | statement | theorem 6.13 | arxiv |
| 935S7PKSZ5 | definition | definition 2.5 | arxiv |
| 9JH7JXQTBH | definition | definition 8.1 | arxiv |
| A704S14211 | definition | definition 5.4 | arxiv |
| B5WFZS3CR2 | definition | definition 2.3 | arxiv |
| BZE4MY1KSW | statement | lemma 4.5 | arxiv |
| F69V4Z1R8Y | statement | proposition 2.4 | arxiv |
| GQ8SWQH9E7 | definition | definition 6.5 | arxiv |
| GZSCK2X7KF | definition | definition 2.2 | arxiv |
| HTR111JHR7 | statement | lemma 6.7 | arxiv |
| HVPTHGK5FY | statement | corollary 2.6 | arxiv |
| JHW8VP3V3N | definition | definition 2.1 | arxiv |
| JN4F10W1AZ | definition | definition 4.7 | arxiv |
| JZE4EP2TM3 | definition | definition 3.2 | arxiv |
| KPB3S6VN13 | example | example 6.6 | arxiv |
| KY49H3G02Z | definition | definition 1.1 | arxiv |
| M7H04GV8MD | statement | theorem 6.8 | arxiv |
| MJCCQFQQQE | statement | proposition 8.2 | arxiv |
| N1AND933Y2 | statement | lemma 4.2 | arxiv |
| N7XYQ9B0WE | statement | theorem 7.2 | arxiv |
| NXECV26XAT | definition | definition 5.5 | arxiv |
| P5D7NC5Y9W | statement | theorem 6.14 | arxiv |
| QDK6RZ8BJ7 | statement | proposition 8.4 | arxiv |
| QJ2ZW28WBZ | definition | definition 3.1 | arxiv |
| QQFXPC3TZ7 | statement | lemma 6.9 | arxiv |
| QY4471NT4B | statement | theorem 6.10 | arxiv |
| R7VP2KP954 | statement | proposition 3.4 | arxiv |
| TEPT1EVTCX | definition | definition 1.2 | arxiv |
| VXWHH1R2ZC | definition | definition 4.4 | arxiv |
| Strategies as Street fibrations | statement | theorem 6.15 | arxiv |
| XA90KRK14T | statement | theorem 1.3 | arxiv |
| XZHGF0AHXN | statement | lemma 6.12 | arxiv |
| YH088V2V3T | example | example 5.1 | arxiv |
Catalogue records
- arxiv: 2609.37815 (work)
- arxiv_text: 2609.37815 (work)