5 papers
A continuous -distributive frame that is not -distributive
Wei Luan, Qingguo Li
We give a negative answer to the question, posed by Erné, whether every -distributive lattice is -distributive. More precisely, we exhibit a continuous frame that is -dist…
Monad Structures on Topological Spaces Comprising Mislove's Random Variables
Chengyu Zhou, Qingguo Li
Mislove, Goubault and Varacca investigated how to define random variables in Domain theory to form monads over the category of bounded complete domains. They intended to model prob…
Separating domains from algebraic domains
Xiaodong Jia, Qingguo Li, Wei Luan
We prove that every domain that fails to be algebraic admits the unit interval as its Scott-continuous retract. As a result, every countable domain is algebraic.
Some Consistent Power Constructions
Chengyu Zhou, Qingguo Li
Consistent Hoare, Smyth and Plotkin power domains are introduced and discussed by Yuan and Kou. The consistent algebraic operation defined by them is a binary partial Scott con…
Chat-TS: Enhancing Multi-Modal Reasoning Over Time-Series and Natural Language Data
Paul Quinlan, Qingguo Li, Xiaodan Zhu
Large language models are being rapidly deployed across many fields such as healthcare, finance, transportation, and energy, where time-series data are fundamental components. The…