Affiliation:
1. School of Mathematics and Statistics, Northwestern Polytechnical University, Xi’an, China
Abstract
In this note, we shall give a complete answer to the question that what kind
of lattice structures corresponds to the ?-algebras with respect to the
Scott closed set monad over the category of S0-convex spaces and show that
the Eilenberg-Moore algebras with respect to the Scott closed set monad are
precisely coframes endowed with the Scott convex structure. Meanwhile, we
shall also prove that the category of coframes is strictly monadic over the
category of S0-convex spaces.
Publisher
National Library of Serbia
Reference10 articles.
1. J. Adámek, H. Herrlich, G. E. Strecker, Abstract and Concrete Categories, John Wiley & Sons, New York, 1990.
2. A. Day, Filter monads, continuous lattices and closure systems, Can. J. Math. 27 (1975), 50-59.
3. A. W. Jankowski, Some modifications of Scott’s theorem on injective spaces, Stud. Log. 45 (1986), 155-166.
4. M. Y. Liu, Y. L. Yue, X.W. Wei, Frame-valued Scott open set monad and its algebras, Fuzzy Sets Syst. 460 (2023), 52-71.
5. D. S. Scott, Continuous lattices, in: Toposes, Algebraic Geometry and Logic, in: Lecture Notes in Math., Springer, Berlin, 274 (1972), 97-136.