Open AccessThe Meet-continuity of L -semilattices
Author(s) -
Shuhua Su,
Qingguo Li,
Huodi Chen
Publication year - 2017
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2017.08.010
Subject(s) - computer science , algebra over a field , mathematics , pure mathematics
This paper is devoted to search for Cartesian closed category of quantitative domain categories. Firstly, inspired by the method of constructing L -frames, the meet-continuity on L -semilattices is built and characterized, which generalizes the meet-continuity on crisp semilattices. Then, it is shown that a complete L -lattice is an L -frame iff it is distributive and meet-continuous. In particular, it is shown that the category L - MC of meet-continuous L -lattices is cartesian closed.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom