Detail výsledku

On dualizations of topological systems

KOVÁR, M. On dualizations of topological systems. In Abstracts of the Second Workshop on Formal Topology. Venezia (Venice, Benátky), Itálie: University of Padova and University of Venezia, 2002. 2 p.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kovár Martin, doc. RNDr., Ph.D.
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.

Rok
2002
Strany
2
Sborník
Abstracts of the Second Workshop on Formal Topology
Vydání
1
Konference
Second Workshop on Formal Topology
Vydavatel
University of Padova and University of Venezia
Místo
Venezia (Venice, Benátky), Itálie
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"
}
Pracoviště
Ústav matematiky (UMAT)
Nahoru