4-5 May 2013
Irvina CA, U.S.A.
"Category-Theoretic Foundations of Mathematics" May 4-5, 2013 Irvine, California 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. 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 Gdel Society, University of Notre Dame, and REHSEIS team and SPHERE lab at the University of Paris-Diderot. For more information, see: http://www.lps.uci.edu/node/15355