Category Theory conferences

Category Theory conferences
Name	Category Theory conferences
Status	active
Genre	Mathematics conference
Frequency	annual / biennial / triennial
Location	international
First	1960s–
Organizer	universities, research institutes, societies

Category Theory conferences are scholarly meetings that bring together researchers in Category theory, algebraic topology, algebraic geometry, logic, theoretical computer science, mathematical physics, and related fields to present results, exchange ideas, and build collaborations. They include flagship international gatherings, regional workshops, summer schools, and specialized symposia hosted by institutions, societies, and networks such as American Mathematical Society, London Mathematical Society, European Mathematical Society, Association for Computing Machinery, and the Simons Foundation. Participants typically include faculty, postdoctoral researchers, graduate students, and industrial researchers from places like Cambridge University, Princeton University, Massachusetts Institute of Technology, University of Oxford, and École Normale Supérieure.

Overview

Category theory meetings range from large multi-day conferences like the International Congress of Mathematicians satellite events to focused workshops at institutes such as the Institut des Hautes Études Scientifiques, Mathematical Sciences Research Institute, Hausdorff Center for Mathematics, Banff International Research Station, and MSRI. Prominent organizers and sponsors include the European Research Council, National Science Foundation, Royal Society, Deutsche Forschungsgemeinschaft, Japan Society for the Promotion of Science, and private foundations like the Kavli Foundation. Venues commonly host plenary lectures, invited talks, contributed sessions, poster sessions, and problem-solving sessions involving speakers from University of California, Berkeley, Harvard University, Stanford University, University of Chicago, Princeton University and research groups from Microsoft Research, IBM Research, Google Research, and Nokia Research Center.

Major recurring conferences

Major recurring events that frequently feature category-theoretic content include the International Congress on Category Theory satellite series organized alongside events at the Fields Institute, the Abel Symposium satellite sessions, and workshops aligned with the International Congress of Mathematicians and European Congress of Mathematics. Other regular venues are the Conference on Category Theory and Applications series at institutions like University of Oxford and University of Cambridge, the Applied Category Theory conference series supported by Complex Systems Society and research centers at Carnegie Mellon University and University of Strathclyde, and annual sessions at major gatherings such as the Joint Mathematics Meetings, Symposium on Logic in Computer Science, Conference on Algebraic Topology, and International Conference on Functional Programming.

Regional and specialty meetings

Regional and specialty meetings include the Asian Pacific Category Theory Conference series hosted by universities in Tokyo, Seoul National University, Tsinghua University, and Australian National University; the North American Category Theory Meeting convened at venues such as University of Pennsylvania and University of Toronto; and European hubs at École Polytechnique, University of Paris-Sud, University of Bonn, and ETH Zurich. Specialized workshops address intersections with homotopy type theory at Carnegie Mellon University, HoTT summer school sites, categorical approaches in quantum computation at Perimeter Institute, categorical logic events at Institute for Advanced Study, and industrial collaborations at Microsoft Research Redmond and IBM Research Zurich.

History and development

The development of category-centric meetings traces to early symposia following foundational work by mathematicians at University of Chicago, Columbia University, University of Cambridge, and University of Chicago influenced by figures associated with Princeton University and University of Pennsylvania. Pioneering conferences grew from seminars at Institut Henri Poincaré, gatherings connected to the American Mathematical Society and London Mathematical Society, and workshops inspired by breakthroughs in homological algebra, topos theory, monoidal categories, and higher category theory. Over decades, meetings adapted to trends set by researchers affiliated with Category Theory Research Group, labs at Bell Labs, and departments at Massachusetts Institute of Technology, University of California, Berkeley, and University of Chicago.

Organization and governance

Conferences are typically governed by program committees, steering committees, and local organizing committees drawn from universities such as Oxford, Cambridge, Harvard, Princeton, and institutes like MSRI, IHÉS, and Banff International Research Station. Funding and oversight often involve societies including the American Mathematical Society, European Mathematical Society, Association for Symbolic Logic, Association for Computing Machinery, and national agencies like the National Science Foundation and Deutsche Forschungsgemeinschaft. Programs are curated by prominent researchers from institutions such as Yale University, Columbia University, University of Michigan, University of Illinois Urbana-Champaign, and University of Edinburgh and sometimes advised by awardees of honors like the Leroy P. Steele Prize, Fields Medal recipients who contribute keynote lectures.

Proceedings, publications, and awards

Many meetings publish proceedings in series affiliated with publishers like Springer, Elsevier, Cambridge University Press, Oxford University Press, and World Scientific. Results often appear in journals such as Theory and Applications of Categories, Journal of Pure and Applied Algebra, Advances in Mathematics, Journal of the American Mathematical Society, Annals of Mathematics, Mathematical Structures in Computer Science, and Higher Structures. Best paper or poster awards may be sponsored by institutions like Simons Foundation or Royal Society, while career awards and fellowships tied to conference series are associated with bodies such as the American Mathematical Society and the European Research Council.

Impact on research and education

These conferences shape directions in research through collaborations among groups at Stanford University, University of Cambridge, Massachusetts Institute of Technology, Princeton University, University of Oxford, and industry labs like Google DeepMind, Microsoft Research, and IBM Research. They influence graduate training via summer schools and tutorials held at Banff International Research Station, MSRI, Institut des Hautes Études Scientifiques, and university programs at ETH Zurich and École Normale Supérieure, and contribute to curricular developments adopted at departments including University of Chicago, Columbia University, Harvard University, and University of California, Berkeley. Cross-disciplinary impact extends into projects at Perimeter Institute, CERN, Los Alamos National Laboratory, and initiatives funded by the Simons Foundation and European Research Council.

Category:Mathematics conferences