Category-Theoretic Foundations in Irvine
Posted by John Baez
There will be a two-day workshop:
- Category-Theoretic Foundations of Mathematics, Department of Logic and Philosophy of Science, U.C. Irvine, May 4-5, 2013.
From the conference webpage:
The aim of this 2-day workshop is to provide a forum in which researchers from philosophy, mathematics, computer science, and allied disciplines can discuss the aims and significance of category-theoretic foundations of mathematics. The interdisciplinary character of this workshop provides a unique opportunity to discuss and deliberate upon what is specific to the success of category-theoretic foundations within the various disciplines.
Speakers include:
- Samson Abramsky (Oxford)
- John Baez (UC Riverside)
- Olivia Caramello (Cambridge)
- Brice Halimi (Paris-Ouest)
- Hans Halvorson (Princeton)
- Ralf Krömer (Siegen)
- Jean-Jacques Szczeciniarz (Paris-Diderot)
This workshop is made possible through generous support provided by the Department of Logic and Philosophy of Science at UC Irvine, School of Social Sciences at UC Irvine, Kurt Gödel Society, University of Notre Dame, and REHSEIS team and SPHERE lab at the University of Paris-Diderot.
The event will be preceded by a departmental colloquium talk on Friday May 3 by John Baez (U.C. Riverside). This event is one of a small cluster of recent category-theory related activities organized by the department of Department of Logic and Philosophy of Science. Others include Colin McLarty’s (Case Western) visit last spring as well as Jim Weatherall’s category-theory course this spring.
Attendance is free, but RSVPs are encouraged prior to April 12. For further details, please contact organizer Michael Ernst.
Re: Category-Theoretic Foundations in Irvine
What will you be talking about, John?