实体
Lawvere–Tierney topology
Lawvere–Tierney topology
PulseAugur coverage of Lawvere–Tierney topology — every cluster mentioning Lawvere–Tierney topology across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
新的直觉主义 $j$-do演算框架扩展了因果推断
研究人员引入了一个名为 $j$-stable causal inference 的新颖框架，该框架将 Pearl 的 do-calculus 扩展到层拓扑中的直觉主义环境。这种新方法将因果干预定义为子对象，并利用具有模态算子 $j$ 的 Lawvere-Tierney 拓扑作用于拓扑的子对象分类器。$j$-do-演算用局部真理取代全局真理，通过沿 $j$-covers 稳定的结构保持态射来形式化因果推理，并被证明是一个健全的规则系统。
-
Cubical Agda 中 topos 因果模型的新形式化
研究人员使用 Cubical Agda（一种机器检查证明助手）开发了 topos 因果模型的形式化。这项工作通过将因果世界表示为 topos 中的预层，并将干预表示为特征映射来解决因果推理问题。该研究对该框架的核心组件进行了机器检查，包括筛子分类器和干预的实现，同时还识别并纠正了与闭包算子相关的 Lawvere–Tierney 公理中的一个空白。此外，该研究还引入了一个机器检查的上下文障碍，这是该程序以前未考虑过的现象。