Abstract
We study the functional ideal monad \(\mathbb {I} = (\mathsf {I}, m, e)\) on S e t and show that this monad is power-enriched. This leads us to the category \(\mathbb {I}\)- M o n of all \(\mathbb {I}\)-monoids with structure preserving maps. We show that this category is isomorphic to A p p, the category of approach spaces with contractions as morphisms. Through the concrete isomorphism, an \(\mathbb {I}\)-monoid (X,ν) corresponds to an approach space \((X, \mathfrak {A}),\) described in terms of its bounded local approach system. When I is extended to R e l using the Kleisli extension \(\check {\mathsf {I}},\) from the fact that \(\mathbb {I}\)- M o n and \((\mathbb {I},2)\)- C a t are isomorphic, we obtain the result that A p p can be isomorphically described in terms of convergence of functional ideals, based on the two axioms of relational algebras, reflexivity and transitivity. We compare these axioms to the ones put forward in Lowen (2015). Considering the submonad \(\mathbb {B}\) of all prime functional ideals, we show that it is both sup-dense and interpolating in \(\mathbb {I}\), from which we get that \((\mathbb {I},2)\)- C a t and \((\mathbb {B},2)\)- C a t are isomorphic. We present some simple axioms describing A p p in terms of prime functional ideal convergence.
Similar content being viewed by others
References
Barr, M.: Relational algebras. In: Reports of the Midwest Category Seminar, IV, Lect. Notes Math., vol. 137, pp 39–55. Springer, Berlin (1970)
Brock, P., Kent, D.: On convergence approach spaces. Appl. Categ. Struct. 6, 117–125 (1998)
Monoidal Topology, A Categorical Approach to Order, Metric and Topology. In: Hofmann, D., Seal, G. J., Tholen, W (eds.) . Cambridge University Press (2014)
Clementino, M. M., Hofmann, D.: Topological features of lax algebras. Appl. Categ. Struct. 11, 267–286 (2003)
Colebunders, E., Lowen, R., Rosiers, W.: Lax algebras via initial monad morphisms: APP, TOP, MET and ORD. Topol. Appl. 158, 882–903 (2011)
Colebunders, E., Lowen, R., Van Opdenbosch, K.: Regularity for relational algebras and approach spaces. Topol. Appl. 200, 79–100 (2016)
Gähler, W.: Monadic topology - a new concept of generalized topology. In: Recent Developments of General Topology and its Applications, number 67 in Math. Res., pp 136–149. Akademie-Verlag, Berlin (1992)
Lowen, R.: Approach Spaces: The Missing Link in the Topology-Uniformity-Metric Triad. Oxford University Press, Oxford Mathematical Monographs (1997)
Lowen, R: Index Analysis: Approach Theory at Work. Springer, Berlin (2015)
Lowen, R., Van Olmen, C., Vroegrijk, T.: Functional ideals and topological theories. Houston J. Math. 34(3), 1065–1089 (2008)
Lowen, R., Vroegrijk, T.: A new lax algebraic characterization of approach spaces. Quaderni di Mathematica 22, 137–170 (2008)
Manes, E.G.: A triple theoretic construction of compact algebras. In: Sem. on Triples and Categorical Homology Theory (ETH, Zürich, 1966/67), number 80 in Lect. Notes Math., pp 91–118. Springer, Berlin (1969)
Seal, G.J.: Canonical and op-canonical lax algebras. Theory Appl. Categ. 14(10), 221–243 (2005)
Author information
Authors and Affiliations
Corresponding author
Additional information
To the memory of Horst Herrlich, a great mathematician and a dear friend
Rights and permissions
About this article
Cite this article
Colebunders, E., Van Opdenbosch, K. Kleisli Monoids Describing Approach Spaces. Appl Categor Struct 24, 521–544 (2016). https://doi.org/10.1007/s10485-016-9456-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-016-9456-9