Entourages, Covers and Localic Groups

Result code in 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>

Result on the web

<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>

Result language

angličtina

Original language name

Entourages, Covers and Localic Groups

Original language description

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.

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

<a href="/en/project/1M0545" target="_blank" >1M0545: Institute for Theoretical Computer Science</a><br>

Continuities

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

Publication year

2013

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Applied Categorical Structures

ISSN

0927-2852

e-ISSN

—

Volume of the periodical

21

Issue of the periodical within the volume

1

Country of publishing house

NL - THE KINGDOM OF THE NETHERLANDS

Number of pages

18

Pages from-to

49-66

UT code for WoS article

000313649900003

EID of the result in the Scopus database

2-s2.0-84872600887