Scott Domains and Semilattices: Generalizing via Linear Scott-Continuous Maps
jessi_cata · x · 2026-08-14
A discussion on X about Scott domains and semilattices, noting that Scott domains are not always join-semilattices, but by preserving finite joins, one can generalize semilattice homomorphisms to linear Scott-continuous maps, and recover more general Scott-continuous maps using linear logic constructions.
More from Research
- UIUC Introduces LLMRouter: Unified Infrastructure and Benchmark for LLM Routing — UIUC-CS · 2026-08-14
- Shanghai AI Lab Releases H2R-Bench: Evaluating Human-to-Robot Video Generation — Shanghai-AI-Laboratory · 2026-08-14
- Alibaba Releases DreamX-Phi 1.0: Action-Conditioned Video World Model for Robotics — alibabagroup · 2026-08-14
- DLA by ByteDance & Universities Tackles Long-Context Costs with Dynamic Linear Attention — burkov · 2026-08-14
- Vista4D: Video Reshooting with 4D Point Clouds, CVPR 2026 Highlight — rsasaki0109 · 2026-08-14
- SIGCHI Announces Futures Summit in Paris, November 2026, to Reflect on Long-Term Future — plopesresearch · 2026-08-14