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