4 papers · 1 filter
Odyssey: Constructing Verifiable Local Truth-Preserving Foundation Models
Sridhar Mahadevan
We introduce a categorical framework called ODYSSEY for constructing verifiable, local truth-preserving foundation models as compositions of foundries: building-block architectural…
Consciousness as a Functor
Sridhar Mahadevan
We propose a novel theory of consciousness as a functor (CF) that receives and transmits contents from unconscious memory into conscious memory. Our CF framework can be seen as a c…
Topos Causal Models
Sridhar Mahadevan
We propose topos causal models (TCMs), a novel class of causal models that exploit the key properties of a topos category: they are (co)complete, meaning all (co)limits exist, they…
Universal Imitation Games
Sridhar Mahadevan
Alan Turing proposed in 1950 a framework called an imitation game to decide if a machine could think. Using mathematics developed largely after Turing -- category theory -- we anal…