aboutlogic

Author: Deniz Sarikaya, Thorsten Altenkirch

aboutlogic is a podcast on logic, foundations of mathematics, philosophy, and theoretical computer science. aboutlogic features in-depth conversations with people working in and around the foundations of these subjects. We talk about topics ranging from the foundations of computer science and set theory to critical thinking, puzzles, and what academic life is really likeits motivations, frustrations, and surprises.
Be a guest on this podcast

Language: en

Genres: Mathematics, Philosophy, Science, Society & Culture

Contact email: Get it

Feed URL: Get it

iTunes ID: Get it

Trailer:

Get all podcast data

Listen Now...

aboutlogic #21 | Category Theory Meets Agentic AI | Neil Ghani (Kodamai)
Wednesday, 23 September, 2026

Category Theory Meets Agentic AI | Neil Ghani (Kodamai) Why does almost all agentic AI today run completely untyped — even though 40 years of type theory and category theory research says that's a mistake? Neil Ghani, Co-Founder of Kodamai, Professor of Computer Science at the University of Strathclyde and a world-leading authority in Applied Category Theory, joins Deniz and Thorsten to explain how the same mathematical structures used to reason about data types can bring trustworthiness, scalability, and adaptability to AI agents. The conversation ranges from the origins of container theory to why LLMs are fundamentally untyped, whether category theory is "abstract nonsense," the GOFAI failures of the 1980s, and how formal verification tools like Lean might be the unlikely savior of both mathematics and AI.