Regularity for relational algebras and approach spaces (Q2634694)

Regularity conditions for topological and approach spaces have been obtained under lax-algebraic descriptions involving a monad \(\mathbb{T}\) in the category of sets (with maps as morphisms) and a quantale \(V\). For instance, the lax-algebraic notion of regularity yields the usual notion of regularity for topological (resp. approach) spaces when the category of topological (resp. approach) spaces is presented via the ultrafilter monad and the Boolean quantale \(V=\{0,1\}\) (resp. the extended real half line as the quantale). This paper aims at investigating regularity for lax-algebraic presentations of the categories \(\mathsf{Top}\) of topological spaces and \(\mathsf{App}\) of approach spaces other than with the ultrafilter monad. It focuses on presentations of \(\mathsf{Top}\) with the power-enriched filter monad \(\mathbb{F}\) and of \(\mathsf{App}\) with the power-enriched functional ideal monad \(\mathbb{I}\) and with the prime functional ideal monad \(\mathbb{B}\), a submonad of \(\mathbb{I}\).