Regularity for relational algebras and approach spaces

详细信息    查看全文

• 作者：E. Colebunders^a ; ^{evacoleb@vub.ac.be" class="auth_mail" title="E-mail the corresponding author} ; R. Lowen^b ; ^{bob.lowen@uantwerpen.be" class="auth_mail" title="E-mail the corresponding author} ; K. Van Opdenbosch^a ; ^{karen.van.opdenbosch@vub.ac.be" class="auth_mail" title="E-mail the corresponding author}
• 关键词：18B30 ; 18C20 ; 54A05 ; 54A20 ; 54B30 ; 54E99
• 刊名：Topology and its Applications
• 出版年：2016
• 出版时间：1 March 2016
• 年：2016
• 卷：200
• 期：Complete
• 页码：79-100
• 全文大小：477 K

文摘

In this paper we consider relational 5005453&_mathId=si1.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=cc94a3017d5e610722c9a6b7426a2480" title="Click to view the MathML source">T$\mathbb{T}$-algebras, objects in 5005453&_mathId=si2.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=395114e9f521dc44691cdd30a3fa71a9" title="Click to view the MathML source">(T,2)$(\mathbb{T},2)$-5005453&_mathId=si3.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=335fff4ec46bf5685004552e166c200d" title="Click to view the MathML source">Cat$\mathsf{Cat}$, as spaces and we explore the topological property of 5005453&_mathId=si1.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=cc94a3017d5e610722c9a6b7426a2480" title="Click to view the MathML source">T$\mathbb{T}$-regularity. This notion goes back to Möbus [18] who introduced it in a more general abstract framework. When applied to the ultrafilter monad 5005453-fx001.gif"> and to the well known lax-algebraic presentation of 5005453&_mathId=si23.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=ee6c586584ab056ff281dcb1a1b0f69f" title="Click to view the MathML source">Top$\mathsf{Top}$ as 5005453&_mathId=si5.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=4b9219c744e0552c039db3b973b4d3ae" title="Click to view the MathML source">(5005453-fx001.gif">,2)$(\text{<inline-figure baseline="0.0"><link locator="<font color=" red"="">fx001" type="simple" href="pii:S0166-8641(15)00545-3/<font color="red">fx</font>001"></inline-figure>},2)$-5005453&_mathId=si3.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=335fff4ec46bf5685004552e166c200d" title="Click to view the MathML source">Cat$\mathsf{Cat}$, 5005453-fx001.gif">-regularity is known to be equivalent to the usual regularity of the topological space 50">[5]. We prove that in general for a power-enriched monad 5005453&_mathId=si1.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=cc94a3017d5e610722c9a6b7426a2480" title="Click to view the MathML source">T$\mathbb{T}$ with the Kleisli extension, even when restricting to proper elements, 5005453&_mathId=si1.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=cc94a3017d5e610722c9a6b7426a2480" title="Click to view the MathML source">T$\mathbb{T}$-regularity is too strong since in most cases it implies the object being indiscrete.

For the lax-algebraic presentations of 5005453&_mathId=si23.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=ee6c586584ab056ff281dcb1a1b0f69f" title="Click to view the MathML source">Top$\mathsf{Top}$ as 5005453&_mathId=si6.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=0c872809ae07878c6a7be5b02d4a2554" title="Click to view the MathML source">(F,2)$(\mathbb{F},2)$-5005453&_mathId=si3.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=335fff4ec46bf5685004552e166c200d" title="Click to view the MathML source">Cat$\mathsf{Cat}$, via the power-enriched filter monad 5005453&_mathId=si7.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=155a0608b2eb28d678e7e6f9a2328ff3" title="Click to view the MathML source">F$\mathbb{F}$ and of 5005453&_mathId=si8.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=53bb2ae95c8f488c584c51bb2f7a660d" title="Click to view the MathML source">App$\mathsf{App}$ as 5005453&_mathId=si9.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=266e586143928971cfd582859238579f" title="Click to view the MathML source">(I,2)$(\mathbb{I},2)$-5005453&_mathId=si3.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=335fff4ec46bf5685004552e166c200d" title="Click to view the MathML source">Cat$\mathsf{Cat}$, via the power-enriched functional ideal monad 5005453&_mathId=si10.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=09846ec0e6eef350366269449958d675" title="Click to view the MathML source">I$\mathbb{I}$, we present weaker conditions in terms of convergence of filters and functional ideals respectively, equivalent to the usual regularity in 5005453&_mathId=si23.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=ee6c586584ab056ff281dcb1a1b0f69f" title="Click to view the MathML source">Top$\mathsf{Top}$ and 5005453&_mathId=si8.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=53bb2ae95c8f488c584c51bb2f7a660d" title="Click to view the MathML source">App$\mathsf{App}$.

For the lax-algebraic presentation of 5005453&_mathId=si8.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=53bb2ae95c8f488c584c51bb2f7a660d" title="Click to view the MathML source">App$\mathsf{App}$ as 5005453&_mathId=si11.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=9b69168509369829a20a1fde3dabe66b" title="Click to view the MathML source">(B,2)$(\mathbb{B},2)$-5005453&_mathId=si3.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=335fff4ec46bf5685004552e166c200d" title="Click to view the MathML source">Cat$\mathsf{Cat}$, via the prime functional ideal monad 5005453&_mathId=si12.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=1930d9ec93ba48c955fd7cd73bdea7da" title="Click to view the MathML source">B$\mathbb{B}$, a submonad of 5005453&_mathId=si10.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=09846ec0e6eef350366269449958d675" title="Click to view the MathML source">I$\mathbb{I}$ with the initial extension to 5005453&_mathId=si101.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=4be3689f596cee56e4faee0ad1b166af" title="Click to view the MathML source">Rel$\mathsf{Rel}$, restricting to proper elements already gives more interesting results. We prove that 5005453&_mathId=si12.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=1930d9ec93ba48c955fd7cd73bdea7da" title="Click to view the MathML source">B$\mathbb{B}$-regularity (restricted to proper prime functional ideals) is equivalent to the approach space being topological and regular. However it requires further weakening of the concept to obtain a characterization of the usual regularity in 5005453&_mathId=si8.gif&_user=111111111&_pii=S0166864115005453&_rdoc=1&_issn=01668641&md5=53bb2ae95c8f488c584c51bb2f7a660d" title="Click to view the MathML source">App$\mathsf{App}$ in terms of convergence of prime functional ideals.