A Completeness Theorem for Topological Doctrines
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866913962382065664 |
|---|---|
| author | Ghilardi, Silvio Marquès, Jérémie |
| author_facet | Ghilardi, Silvio Marquès, Jérémie |
| contents | We extend logical categories with fiberwise interior and closure operators so as to obtain an embedding theorem into powers of the category of topological spaces. The required axioms, besides the Kuratowski closure axioms, are a `product independence' and a `loop contraction' principle. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_20768 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A Completeness Theorem for Topological Doctrines Ghilardi, Silvio Marquès, Jérémie Category Theory Logic 03B45, 03G30, 03C80, 18F60 We extend logical categories with fiberwise interior and closure operators so as to obtain an embedding theorem into powers of the category of topological spaces. The required axioms, besides the Kuratowski closure axioms, are a `product independence' and a `loop contraction' principle. |
| title | A Completeness Theorem for Topological Doctrines |
| topic | Category Theory Logic 03B45, 03G30, 03C80, 18F60 |
| url | https://arxiv.org/abs/2507.20768 |