topos-theory

本文介绍了一个范畴论框架，用于通过组合可复用的foundries（基础组件）来构建可验证、局部真值保持的基础模型，该框架在Odyssey系统中实现，并计划于ICML 2026进行教程讲解。