Kleisli compositions for topological spaces (Q2502949)

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.