
        Category Theory Meets Agentic AI
<p>You can now become a channel member on Youtube: <a href="mailto:https://www.youtube.com/@aboutlogic">https://www.youtube.com/@aboutlogic</a>
Your support helps us keep these conversations going! 
If you’d like to contribute, you can buy us a coffee here: <a href="https://buymeacoffee.com/aboutlogic">https://buymeacoffee.com/aboutlogic</a></p>
<p>Get the HoTT Book for free (no advertisement): <a href="https://homotopytypetheory.org/book/">https://homotopytypetheory.org/book/</a>
Thorsten Altenkirch: <a href="http://www.cs.nott.ac.uk/~psztxa/">http://www.cs.nott.ac.uk/~psztxa/</a>
Deniz Sarikaya: <a href="https://www.denizsarikaya.de/">https://www.denizsarikaya.de/</a>
Creative Production: Jan-Niklas Meyer: <a href="http://www.jammos.com/">http://www.jammos.com/</a></p>
<h1 id="aicategorytheorytypetheoryagenticaikodamaicontainersformalverificationaboutlogic">AI #CategoryTheory #TypeTheory #AgenticAI #Kodamai #Containers #FormalVerification #aboutlogic</h1>
      

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.



aboutlogic #21 | Category Theory Meets Agentic AI | Neil Ghani (Kodamai)

Description