Exponential Kleisli monoids as Eilenberg-Moore algebras (Q2350092)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Exponential Kleisli monoids as Eilenberg-Moore algebras |
scientific article |
Statements
Exponential Kleisli monoids as Eilenberg-Moore algebras (English)
0 references
18 June 2015
0 references
The paper provides an extension of the following characterization of exponentiable topological spaces of \textit{B. J. Day} and \textit{G. M. Kelly} [Proc. Camb. Philos. Soc. 67, 553--558 (1970; Zbl 0191.20801)]: a topological space is exponentiable if and only if its set of open subsets, ordered by inclusion, forms a continuous lattice. More precisely, since, first, continuous lattices are exactly algebras for the filter monad \(\mathbb{F}=(F,\mu,\eta)\) on the category \textbf{Set} of sets and maps [\textit{A. Day}, Can. J. Math. 27, 50--59 (1975; Zbl 0436.18003)]; second, topological spaces are precisely monoids in the Kleisli category of \(\mathbb{F}\) [\textit{W. Gähler}, in: Recent developments of general topology and its applications. International conference in memory of Felix Hausdorff (1868 - 1942), held in Berlin, Germany, March 22-28, 1992. Berlin: Akademie-Verlag. 136--149 (1992; Zbl 0803.54013)]; third, the set of open sets of a topological space \(X\) can be identified with the set \([X,\mathsf{2}]\) of continuous maps into the Sierpinski space \(\mathsf{2}\); and, fourth, there is a map \(\text{conv}:F[X,\mathsf{2}]\rightarrow[X,\mathsf{2}]\), which sends a filter \(\mathcal{F}\) on the set of open subsets of \(X\) to the set \(\bigcup_{A\in\mathcal{F}}(\bigcap A)^{\circ}\) (where \(U^{\circ}\) stands for the interior of \(U\)), one can rewrite the above characterisation as follows: an \(\mathbb{F}\)-monoid \(X\) is exponentiable if and only if \(([X,\mathsf{2}],\text{conv})\) is an \(\mathbb{F}\)-algebra. The authors then consider particular monads \(\mathbb{T}\) on \textbf{Set}, which behave similar to \(\mathbb{F}\) (called \textit{lax monoidal powerset-enriched monads}), and provide the following generalization of the above characterizations. Let \(\mathbb{T}\) be a lax monoidal powerset-enriched monad, and let \(\mathcal{V}\) be a family of \(\mathbb{T}\)-algebras, which is initially dense in the category of monoids in the Kleisli category of \(\mathbb{T}\). A \(\mathbb{T}\)-monoid \((X,\alpha)\) is exponentiable if and only if \(([X,V],\text{conv})\) is a \(\mathbb{T}\)-algebra for every \(V\in\mathcal{V}\) (Theorem~3.3 on page~147 and Theorem 3.9 on page 151). The authors also dwell on applications of their obtained result to interior spaces and quantale-enriched categories (Section 4 on pages 153--156). The paper is well written, provides most of its required preliminaries, and will be of use to all those researchers, who are interested in categorical topology.
0 references
continuous lattice
0 references
exponentiable object
0 references
filter monad
0 references
interior space
0 references
Kleisli monoid
0 references
monoidal functor
0 references
powerset monad
0 references
powerset-enriched monad
0 references
quantale
0 references
quantale-enriched category
0 references
Sierpinski space
0 references
topological functor
0 references