Localic maps constructed from open and closed parts

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F17%3A10368645" target="_blank" >RIV/00216208:11320/17:10368645 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.cgasa.ir/article_15806.html" target="_blank" >http://www.cgasa.ir/article_15806.html</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Localic maps constructed from open and closed parts

Popis výsledku v původním jazyce

Assembling a localic map f : L -&gt; M from localic maps f(i) : S_i -&gt; M, i is an element of J, defined on closed respectively open sublocales (J finite in the closed case) follows the same rules as in the classical case. The corresponding classical facts immediately follow from the behavior of preimages but for obvious reasons such a proof cannot be imitated in the point-free context. Instead, we present simple proofs based on categorical reasoning. There are some related aspects of localic preimages that are of interest, though. They are investigated in the second half of the paper.

Název v anglickém jazyce

Localic maps constructed from open and closed parts

Popis výsledku anglicky

Assembling a localic map f : L -&gt; M from localic maps f(i) : S_i -&gt; M, i is an element of J, defined on closed respectively open sublocales (J finite in the closed case) follows the same rules as in the classical case. The corresponding classical facts immediately follow from the behavior of preimages but for obvious reasons such a proof cannot be imitated in the point-free context. Instead, we present simple proofs based on categorical reasoning. There are some related aspects of localic preimages that are of interest, though. They are investigated in the second half of the paper.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

<a href="/cs/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Centrum excelence - Institut teoretické informatiky (CE-ITI)</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2017

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ů

Název periodika

CATEGORIES AND GENERAL ALGEBRAIC STRUCTURES WITH APPLICATIONS

ISSN

2345-5853

e-ISSN

—

Svazek periodika

6

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

IR - Íránská islámská republika

Počet stran výsledku

15

Strana od-do

21-35

Kód UT WoS článku

000393193800004

EID výsledku v databázi Scopus

—