Detail publikace

On dualizations of topological systems

Originální název

On dualizations of topological systems

Anglický název

On dualizations of topological systems

Jazyk

en

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.

BibTex


@inproceedings{BUT5183,
  author="Martin {Kovár}",
  title="On dualizations of topological systems",
  annote="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.

",
  address="University of Padova and University of Venezia",
  booktitle="Abstracts of the Second Workshop on Formal Topology",
  chapter="5183",
  institution="University of Padova and University of Venezia",
  year="2002",
  month="april",
  pages="4",
  publisher="University of Padova and University of Venezia",
  type="conference paper"
}