Entourages, Covers and Localic Groups

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F13%3A10306929" target="_blank" >RIV/00216208:11320/13:10306929 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/s10485-011-9254-3" target="_blank" >http://dx.doi.org/10.1007/s10485-011-9254-3</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s10485-011-9254-3" target="_blank" >10.1007/s10485-011-9254-3</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Entourages, Covers and Localic Groups

Popis výsledku v původním jazyce

Due to the nature of product in the category of locales, the entourage uniformities in the point-free context only mimic the classical Weil approach while the cover (Tukey type) ones can be viewed as an immediate extension. Nevertheless the resulting categories are concretely isomorphic. We present a transparent construction of this isomorphism, and apply it to the natural uniformities of localic groups. In particular we show that localic group homomorphisms are uniform, thus providing natural forgetfulfunctors from the category of localic groups into any of the two categories of uniform locales.

Název v anglickém jazyce

Entourages, Covers and Localic Groups

Popis výsledku anglicky

Due to the nature of product in the category of locales, the entourage uniformities in the point-free context only mimic the classical Weil approach while the cover (Tukey type) ones can be viewed as an immediate extension. Nevertheless the resulting categories are concretely isomorphic. We present a transparent construction of this isomorphism, and apply it to the natural uniformities of localic groups. In particular we show that localic group homomorphisms are uniform, thus providing natural forgetfulfunctors from the category of localic groups into any of the two categories of uniform locales.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/1M0545" target="_blank" >1M0545: Institut Teoretické Informatiky</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2013

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

Applied Categorical Structures

ISSN

0927-2852

e-ISSN

—

Svazek periodika

21

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

18

Strana od-do

49-66

Kód UT WoS článku

000313649900003

EID výsledku v databázi Scopus

2-s2.0-84872600887