4.7 Article

Algebraic representation of frame-valued continuous lattices via the open filter monad

Journal

FUZZY SETS AND SYSTEMS
Volume 420, Issue -, Pages 143-156

Publisher

ELSEVIER
DOI: 10.1016/j.fss.2021.02.004

Keywords

Topology; Category; L-topology; Open filter monad; Eilenberg-Moore algebra; L-Scott topology; L-continuous lattice

Funding

  1. National Natural Science Foundation of China [11871189, 11971448]
  2. Natural Science Foundation of Hebei Province [A2020208008]
  3. Startup Foundation for Introducing Talent of NUIST [2019r63]

Ask authors/readers for more resources

The paper demonstrates that the collections of open filters of T-0 L-topological spaces form a monad, and concludes that the Eilenberg-Moore algebras of the open filter monad are precisely L-continuous lattices. Additionally, it shows that the category of L-continuous lattices is strictly monadic over the category of T-0 L-topological spaces.
With a frame L as the truth value table, we prove that the collections of open filters of T-0 L-topological spaces form a monad. By means of L-Scott topology and the specialization L-order, we get the main results: (1) the Eilenberg-Moore algebras of the open filter monad are precisely L-continuous lattices; (2) the category of L-continuous lattices is strictly monadic over the category of T-0 L-topological spaces. (C) 2021 Elsevier B.V. All rights reserved.

Authors

I am an author on this paper
Click your name to claim this paper and add it to your profile.

Reviews

Primary Rating

4.7
Not enough ratings

Secondary Ratings

Novelty
-
Significance
-
Scientific rigor
-
Rate this paper

Recommended

No Data Available
No Data Available