Identifikační kód |
RIV/67985840:_____/20:00533367 |
Název v anglickém jazyce |
Gabriel–Ulmer duality for topoi and its relation with site presentations |
Druh |
J - Recenzovaný odborný článek (Jimp, Jsc a Jost) |
Poddruh |
J/A - Článek v odborném periodiku je obsažen v databázi Web of Science společností Thomson Reuters s příznakem „Article“, „Review“ nebo „Letter“ (Jimp) |
Jazyk |
eng - angličtina |
Vědní obor |
10101 - Pure mathematics |
Rok uplatnění |
2020 |
Kód důvěrnosti údajů |
S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
Počet výskytů výsledku |
1 |
Počet tvůrců celkem |
2 |
Počet domácích tvůrců |
1 |
Výčet všech uvedených jednotlivých tvůrců |
Ivan Di Liberti (státní příslušnost: IT - Italská republika, domácí tvůrce: A, scopusid: 57203911283) J. Ramos Gonzáles (státní příslušnost: BE - Belgické království) |
Popis výsledku v anglickém jazyce |
Let κ be a regular cardinal. We study Gabriel–Ulmer duality when one restricts the 2-category of locally κ-presentable categories with κ-accessible right adjoints to its locally full sub-2-category of κ-presentable Grothendieck topoi with geometric κ-accessible morphisms. In particular, we provide a full understanding of the locally full sub-2-category of the 2-category of κ-small cocomplete categories with κ-small colimit preserving functors arising as the corresponding 2-category of presentations via the restriction. We analyse the relation of these presentations of Grothendieck topoi with site presentations and we show that the 2-category of locally κ-presentable Grothendieck topoi with geometric κ-accessible morphisms is a reflective sub-bicategory of the 2-category of weakly κ-ary sites [in the sense of Shulman (Theory Appl Categ 27:97–173, 2012)] with morphisms of sites. |
Klíčová slova oddělená středníkem |
Gabriel–Ulmer duality;Grothendieck sites;Grothendieck topoi;locally presentable categories |
Stránka www, na které se nachází výsledek |
https://doi.org/10.1007/s10485-020-09605-x |
DOI výsledku |
10.1007/s10485-020-09605-x |
Odkaz na údaje z výzkumu |
- |