You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
David Corfield (May 06 2024 at 09:11):I gave a talk on Saturday at a conference -- The Future of the Humanities: Reflective Practices in the Age of AI. Rather ironic to have been asked to speak at the event when my Philosophy department at Kent is to close this summer.
My slides are here. I was speaking about ACT and AI/computer science, and raising questions about philosophical precursors. Take for instance the recent Bonchi et al. article Diagrammatic Algebra of First Order Logic, further uptake of Charles Peirce's existential graphs. Seeing that the original philosophical ideas generally come embedded within a whole system, I was wondering about the profit for the current user of such ideas in delving into their larger context.