topos-theory

This paper introduces a categorical framework for constructing verifiable, local truth-preserving foundation models using composable foundries, implemented in the Odyssey system, and scheduled for a tutorial at ICML 2026.