Towards higher topology

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F22%3A00544168" target="_blank" >RIV/67985840:_____/22:00544168 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1016/j.jpaa.2021.106838" target="_blank" >https://doi.org/10.1016/j.jpaa.2021.106838</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.jpaa.2021.106838" target="_blank" >10.1016/j.jpaa.2021.106838</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Towards higher topology
Popis výsledku v původním jazyce
We categorify the adjunction between locales and topological spaces, this amounts to an adjunction between (generalized) bounded ionads and topoi. We show that the adjunction is idempotent. We relate this adjunction to the Scott adjunction, which was discussed from a more categorical point of view in [21]. We hint that 0-dimensional adjunction inhabits the categorified one.
Název v anglickém jazyce
Towards higher topology
Popis výsledku anglicky
We categorify the adjunction between locales and topological spaces, this amounts to an adjunction between (generalized) bounded ionads and topoi. We show that the adjunction is idempotent. We relate this adjunction to the Scott adjunction, which was discussed from a more categorical point of view in [21]. We hint that 0-dimensional adjunction inhabits the categorified one.

Projekt
<a href="/cs/project/GX20-31529X" target="_blank" >GX20-31529X: Abstraktní konvergenční schémata a jejich složitost</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2022
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)