Scott 域与半格：线性 Scott 连续映射的推广
jessi_cata · x · 2026-08-14
在 X 上，用户讨论 Scott 域与半格的关系，指出 Scott 域不一定是 join-半格，但通过保留有限 join 可以推广半格同态，得到线性 Scott 连续映射，并可用线性逻辑构造恢复更一般的 Scott 连续映射。
「研究」频道最新
- UIUC 推出 LLMRouter：大模型路由统一基础设施与基准 — UIUC-CS · 2026-08-14
- 上海AI Lab发布H2R-Bench：评估人机转换视频生成 — Shanghai-AI-Laboratory · 2026-08-14
- 阿里发布 DreamX-Phi 1.0：面向机器人操作的视频世界模型 — alibabagroup · 2026-08-14
- 字节等提出 DLA：动态线性注意力破解长上下文成本瓶颈 — burkov · 2026-08-14
- Vista4D：基于4D点云的视频重拍框架，获CVPR 2026 Highlight — rsasaki0109 · 2026-08-14
- SIGCHI宣布2026年巴黎未来峰会，聚焦长期发展 — plopesresearch · 2026-08-14