Kleisli compositions for topological spaces (Q2502949)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Kleisli compositions for topological spaces
scientific article

    Statements

    Kleisli compositions for topological spaces (English)
    0 references
    0 references
    0 references
    13 September 2006
    0 references
    Let \(X\) be a given set, \(PX\) the power set of \(X\), \(UX\) the set of all ultrafilters in \(X\), \(a \subset UX \times X\) a set of convergence conditions: \((\mathfrak x , x) \in a\) means \(\mathfrak x \overset{a}{\longrightarrow} x\). Given \(\tau \subset PX\), we define \(a=\psi(\tau)\) by \[ \mathfrak x \overset{a}{\longrightarrow}x \Longleftrightarrow \forall A \in \tau(x \in A \Longrightarrow A \in \mathfrak x). \] Analogously one can define a mapping \(\tau=\varphi(a)\), yielding a diagram \[ PPX\overset{\psi}{\longrightarrow}P(UX \times X) \overset{\varphi}{\longrightarrow} PPX \] satisfying \[ \tau \subset \varphi(\psi(\tau )), \;\;a \subset \psi(\varphi(a)). \] The main result of the authors is that the set of all topologies on \(X\) consists precisely of those \(\tau \in PPX\) with \(\tau=\varphi(\psi(\tau))\). In addition the authors present other categorical descriptions of this characterization.
    0 references
    (ultra)filter
    0 references
    neighbourhood system
    0 references
    co-Kleisli composition
    0 references
    monad
    0 references
    Lax algebra
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references