Continuous Prequantale Models of T1 Topological Semigroups
Hui Li, Xiangnan Zhou, Qingguo Li · Electronic Notes in Theoretical Computer Science · 2019
In this paper, we show that every T1 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 T1 topological semigroup satisfying condition (Δ) has a continuous prequantale model, which may not be bounded complete.