Localification procedure for affine systems
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26210%2F15%3APU119476" target="_blank" >RIV/00216305:26210/15:PU119476 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Localification procedure for affine systems
Popis výsledku v původním jazyce
Motivated by the concept of affine set of Y. Diers, this paper studies the notion of affine system, extending topological systems of S. Vickers. The category of affine sets is isomorphic to a full coreflective subcategory of the category of affine systems. We show the necessary and sufficient condition for the dual category of the variety of algebras, underlying affine sets, to be isomorphic to a full reflective subcategory of the category of affine systems. As a consequence, we arrive at a restatement of the sobriety-spatiality equivalence for affine sets, patterned after the equivalence between the categories of sober topological spaces and spatial locales.
Název v anglickém jazyce
Localification procedure for affine systems
Popis výsledku anglicky
Motivated by the concept of affine set of Y. Diers, this paper studies the notion of affine system, extending topological systems of S. Vickers. The category of affine sets is isomorphic to a full coreflective subcategory of the category of affine systems. We show the necessary and sufficient condition for the dual category of the variety of algebras, underlying affine sets, to be isomorphic to a full reflective subcategory of the category of affine systems. As a consequence, we arrive at a restatement of the sobriety-spatiality equivalence for affine sets, patterned after the equivalence between the categories of sober topological spaces and spatial locales.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2015
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ů
Údaje specifické pro druh výsledku
Název periodika
Cahiers de Topologie et Geometrie Differentielle Categoriques
ISSN
1245-530X
e-ISSN
—
Svazek periodika
56
Číslo periodika v rámci svazku
2
Stát vydavatele periodika
FR - Francouzská republika
Počet stran výsledku
23
Strana od-do
109-132
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—