LL-idempotent analogues of convexity are introduced (LL is a completely distributive lattice). It is proved that the category of algebras for the monad of LL-valued capacities (regular plausibility measures) in the category of compacta is isomorphic to the category of LL-idempotent biconvex compacta and their biaffine maps. For the functor of LL-valued ∪\cup-capacities (LL-possibility measures) a family of monads parameterized by monoidal operations ∗:L×L→L*:L\times L\to L is introduced and it is shown that the category of algebras for each of these monads is isomorphic to the category of (L,⊕,∗)(L,\oplus,*)-convex compacta and their affine maps.

Contact details are reproduced from the original publication and may be historical.

Oleh Nykyforchyn

Dept. of Mathematics and Computer Science, Vasyl' Stefanyk Precarpathian National University, Shevchenka 57, Ivano-Frankivsk 76025, Ukraine

oleh.nyk@gmail.com

Dušan Repovš

Faculty of Mathematics and Physics, University of Ljubljana, P.O. Box 2964, Ljubljana 1001, Slovenia

dusan.repovs@guest.arnes.si
  1. M. Akian: Densities of idempotent measures and large deviations, Trans. Amer. Math. Soc. 351(11) (1999) 4515–4543.https://doi.org/10.1090/S0002-9947-99-02153-4Google Scholar
  2. M. Barr, C. Wells: Toposes, Triples and Theories, Springer, New York (1988).Google Scholar
  3. W. Briec, C. Horvath: B-convexity, Optimization 53(2) (2004) 103–127.https://doi.org/10.1080/02331930410001695283Google Scholar
  4. G. Cohen, S. Gaubert, J.-P. Quadrat: Duality and separation theorems in idempotent semimodules, Linear Algebra Appl. 379 (2004) 395–422.https://doi.org/10.1016/j.laa.2003.08.010Google Scholar
  5. A. Day: Filter monads, continuous lattices and closure systems, Can. J. Math. 27(1) (1975) 50–59.https://doi.org/10.4153/CJM-1975-008-8Google Scholar
  6. S. Eilenberg, I. C. Moore: Adjoint functors and triples, Ill. J. Math. 9(3) (1965) 381–398.https://doi.org/10.1215/ijm/1256068141Google Scholar
  7. G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, D. S. Scott: Continuous Lattices and Domains, Encyclopedia of Mathematics and its Applications 93, Cambridge University Press, Cambridge (2003).https://doi.org/10.1017/CBO9780511542725Google Scholar
  8. N. Friedman, J. Halpern: Plausibility Measures: A User’s Guide, in: Uncertainty in Artificial Intelligence (Montréal, 1995), P. Besnard et al. (ed.), Morgan Kaufmann, San Francisco (1995) 175–184.Google Scholar
  9. S. Gaubert, S. Sergeev: Cyclic projectors and separation theorems in idempotent convex geometry, J. Math. Sci., New York 155(6) (2008) 815–829.https://doi.org/10.1007/s10958-008-9243-8Google Scholar
  10. R. Heckmann, M. Huth: A duality theory for quantitative semantics, in: Computer Science Logic (Aarhus, 1997), M. Nielsen et al. (ed.), Lect. Notes Comp. Science 1414, Springer, Berlin (1998) 255–274.https://doi.org/10.1007/BFb0028019Google Scholar
  11. I. D. Hlushak, O. R. Nykyforchyn: Submonads of the capacity monad, Carpathian J. Math. 24(1) (2008) 56–67.Google Scholar
  12. V. N. Kolokoltsov, V. P. Maslov: Idempotent Analysis and Its Applications, Kluwer, Dordrecht (1998).https://doi.org/10.1007/978-94-015-8901-7Google Scholar
  13. J. D. Lawson: Topological semilattices with small semilattices, J. Lond. Math. Soc., II. Ser. 11 (1969) 719–724.https://doi.org/10.1112/jlms/s2-1.1.719Google Scholar
  14. S. Mac Lane: Categories for the Working Mathematician, 2nd Ed., Springer, New York (1998).Google Scholar
  15. M. M. McWaters: A note on topological semilattices, J. Lond. Math. Soc., II. Ser. 1(4) (1969) 64–66.https://doi.org/10.1112/jlms/s2-1.1.64Google Scholar
  16. I. Nykyforchyn, O. Nykyforchyn: Idempotent convexity and L-fuzzy preferences, Proc. Int. Geom. Center 3(4) (2010) 25–34.Google Scholar
  17. O. Nykyforchyn: Capacities with values in compact Hausdorff lattices, Appl. Categ. Struct. 15(3) (2008) 243–257.https://doi.org/10.1007/s10485-007-9061-zGoogle Scholar
  18. O. Nykyforchyn: Continuous and dually continuous L-semimodules, Mat. Stud. 37(1) (2012) 3–28.https://doi.org/10.30970/ms.37.1.3-28Google Scholar
  19. O. Nykyforchyn, D. Repovš: Idempotent convexity and algebras for the capacity monad and its submonads, Appl. Categ. Struct. 19(4) (2011) 709–727.https://doi.org/10.1007/s10485-010-9229-9Google Scholar
  20. T. N. Radul: The inclusion hyperspace triple and its algebras, Ukr. Mat. Zh. 42(6) (1990) 806–811 (in Russian); Ukr. Math. J. 42(6) (1990) 712–716 (in English).https://doi.org/10.1007/BF01058919Google Scholar
  21. I. Singer, V. Nitica: Contributions to max-min convex geometry. I: Segments, Linear Algebra Appl. 428 (2008) 1439–1459.https://doi.org/10.1016/j.laa.2007.09.032Google Scholar
  22. I. Singer, V. Nitica: Contributions to max-min convex geometry. II: Semispaces and convex sets, Linear Algebra Appl. 428 (2008) 2085–2115.https://doi.org/10.1016/j.laa.2007.11.015Google Scholar
  23. T. Świrszcz: Monadic functors and convexity, Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 22(1) (1974) 39–42.Google Scholar
  24. A. Teleiko, M. Zarichnyi: Categorical Topology of Compact Hausdorff Spaces, Math. Studies Monograph Series. 5, VNTL, Lviv (1999).Google Scholar
  25. O. Wyler: Algebraic theories of continuous lattices, in: Continuous Lattices (Bremen, 1979), B. Banaschewski et al. (ed.), Lect. Notes Math. 871, Springer, Berlin (1981) 390–413.https://doi.org/10.1007/BFb0089921Google Scholar
  26. M. M. Zarichnyi: Superextension monad and its algebras, Ukr. Mat. Zh. 39(3) (1987) 303–309 (in Russian); Ukr. Math. J. 39(3) (1987) 232–237 (in English).https://doi.org/10.1007/BF01057224Google Scholar
  27. M. M. Zarichnyi: Michael selection theorem for max-plus compact convex sets, Topology Proc. 31(2) (2007) 677–681.Google Scholar
  28. M. M. Zarichnyi, O. R. Nykyforchyn: Capacity functor in the category of compacta, Sb. Math. 199(2) (2008) 159–184.https://doi.org/10.1070/SM2008v199n02ABEH003914Google Scholar

O. Nykyforchyn, D. Repovš. “L-Convexity and Lattice-Valued Capacities.” Journal of Convex Analysis 21 (2014), No. 1, 29–52. https://doi.org/10.68381/jca21002