AGI-26 keynote
David I. Spivak
David I. Spivak is a mathematician known for advancing applied category theory. His work uses categorical structures — operads, sheaves, and polynomial functors — to model databases, dynamical systems, and the composition of interacting processes, building rigorous mathematical foundations for how complex systems are assembled from parts.
Public work
This subsite indexes David I. Spivak's published papers as a searchable corpus — the foundation for a grounded AI guide and cross-thinker synthesis in Society of Minds Aligned.