Detail publikačního výsledku

On dualizations of topological systems

KOVÁR, M.

Originální název

On dualizations of topological systems

Anglický název

On dualizations of topological systems

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

In this paper, we will recapitulate the author's general solution of Problem 540 and its main principles and methods. We will ask what happens with the dualizations if we leave the realm of spatiality. We will try to define and study some compatible constructions of dualization of topological systems, locales and the similar structures, where the points are compact saturated sets and the sets of opens are closed under directed joins and finite meets. Finaly, we will mention some (unsolved) problems.

Anglický abstrakt

In this paper, we will recapitulate the author's general solution of Problem 540 and its main principles and methods. We will ask what happens with the dualizations if we leave the realm of spatiality. We will try to define and study some compatible constructions of dualization of topological systems, locales and the similar structures, where the points are compact saturated sets and the sets of opens are closed under directed joins and finite meets. Finaly, we will mention some (unsolved) problems.

Klíčová slova v angličtině

compact saturated set, dual topology, topological system, frame, locale, directly complete semilattice

Autoři

KOVÁR, M.

Rok RIV

2011

Vydáno

03.04.2002

Nakladatel

University of Padova and University of Venezia

Místo

Venezia (Venice, Benátky), Itálie

Kniha

Abstracts of the Second Workshop on Formal Topology

Strany od

4

Strany počet

2

BibTex

@inproceedings{BUT5183,
  author="Martin {Kovár}",
  title="On dualizations of topological systems",
  booktitle="Abstracts of the Second Workshop on Formal Topology",
  year="2002",
  number="1",
  pages="2",
  publisher="University of Padova and University of Venezia",
  address="Venezia (Venice, Benátky), Itálie"
}