Topologically valued transition structures
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866910131921354752 |
|---|---|
| author | Collinson, Matthew |
| author_facet | Collinson, Matthew |
| contents | We investigate several categories related to transition structures, using a mixture of algebraic and topological methods. We show how two such categories are connected by a contravariant adjunction. This is the most detailed of a family of such results depending on topological restrictions on objects and morphisms. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_14031 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Topologically valued transition structures Collinson, Matthew Category Theory Logic in Computer Science Logic We investigate several categories related to transition structures, using a mixture of algebraic and topological methods. We show how two such categories are connected by a contravariant adjunction. This is the most detailed of a family of such results depending on topological restrictions on objects and morphisms. |
| title | Topologically valued transition structures |
| topic | Category Theory Logic in Computer Science Logic |
| url | https://arxiv.org/abs/2604.14031 |