Continuous Prequantale Models of T1 Topological Semigroups
Author(s) -
Hui Li,
Xiangnan Zhou,
Qingguo Li
Publication year - 2019
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.2019.07.019
Subject(s) - semigroup , mathematics , bounded function , cancellative semigroup , topological space , topology (electrical circuits) , domain (mathematical analysis) , topological ring , bicyclic semigroup , topological algebra , pure mathematics , topological vector space , mathematical analysis , combinatorics
In this paper, we show that every T 1 topological semigroup satisfying condition (Δ) can be embedded into a topological semigroup ( D , σ , ⊙ ) , where ( D , ⊑ ) is a domain. Furthermore, by considering the maximal point topological semigroup of a continuous prequantale, it is proven that every T 1 topological semigroup satisfying condition (Δ) has a continuous prequantale model, which may not be bounded complete.
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