International Category Theory Conference

International Category Theory Conference

The International Category Theory Conference is a recurring scholarly meeting focused on Category theory, its applications and interfaces with other fields such as Algebraic topology, Algebraic geometry, Theoretical computer science, Mathematical logic, and Mathematical physics. It attracts researchers affiliated with institutions such as University of Cambridge, Princeton University, University of Oxford, Massachusetts Institute of Technology, and research laboratories including Institut des Hautes Études Scientifiques, CNRS, and Max Planck Society. The conference has served as a forum linking communities associated with events like the International Congress of Mathematicians, the European Mathematical Society meetings, and workshops at Simons Foundation-funded centers.

History

The conference lineage traces to early gatherings in the 1960s and 1970s influenced by figures connected to Saunders Mac Lane, Samuel Eilenberg, Grothendieck, and seminars at University of Chicago, Columbia University, and Université Paris-Sud. Early meetings paralleled developments reported at venues such as the Grothendieck Festschrift-era workshops, the Hamburg Mathematical Society colloquia, and the influential seminars at IHÉS. Over decades the event evolved alongside institutional initiatives from American Mathematical Society, London Mathematical Society, European Research Council, and national academies including the National Academy of Sciences and Royal Society. Historic shifts in focus reflected cross-pollination with work at Bell Labs, AT&T Labs Research, Microsoft Research, and conference series like Logic in Computer Science and International Conference on Functional Programming.

Organization and Governance

Governance typically involves steering committees drawn from universities and academies such as University of Pennsylvania, University of California, Berkeley, University of Cambridge, École Normale Supérieure, and research institutes like Perimeter Institute and Kavli Institute for Theoretical Physics. Funding and sponsorship have been provided by organizations including the National Science Foundation, European Mathematical Society, Simons Foundation, British Academy, and private foundations such as the Clay Mathematics Institute. Program committees have included representatives linked to awards like the Fields Medal, the Abel Prize, the Gödel Prize, and recognitions administered by societies like the American Mathematical Society and the Association for Computing Machinery. Local organizing committees coordinate logistics with universities, cultural institutions, and conference centers in cities such as Paris, Boston, Tokyo, Berlin, and Sydney.

Conferences and Meetings

Individual instances of the conference have been hosted at venues including University of Cambridge, École Polytechnique, University of Tokyo, ETH Zurich, University of Chicago, University of Toronto, University of Sydney, and Seoul National University. Sessions often coincide with satellite workshops linked to institutions such as Banff International Research Station and seminars at Institute for Advanced Study. Program formats include plenary lectures, contributed talks, panel discussions, tutorials, and poster sessions, attracting participants from conferences like International Congress on Mathematical Physics, Colloquium in Category Theory, and summer schools organized by Mathematical Sciences Research Institute. Special themed meetings have focused on intersections with venues and events such as ICFP, LICS, and the European Summer School in Logic, Language and Information.

Research Themes and Contributions

The conference has showcased advances in topics historically associated with Grothendieck-inspired methods, higher category theory, n-category theory, topos theory, monoidal categories, 2-categories, operad theory, and homotopy theory. Applications presented span links to Algebraic topology via stable homotopy theory, connections to Algebraic geometry through derived categories and stacks, and interfaces with Theoretical computer science in areas such as type theory, denotational semantics, lambda calculus, and concurrency theory. Cross-disciplinary contributions have engaged researchers from Mathematical physics exploring quantum field theory, topological quantum field theory, and tensor categories; from Logic examining categorical logic, model theory, and proof theory; and from Statistics and Data science investigating categorical approaches to probability theory and compositional models. Influential outputs trace to collaborations involving scholars associated with Princeton University, Harvard University, University of Cambridge, University of Oxford, and institutes like IHÉS and MSRI.

Notable Participants and Awards

Prominent participants have included mathematicians and computer scientists affiliated with institutions such as Princeton University, University of Chicago, University of Cambridge, MIT, Harvard University, and École Normale Supérieure, many of whom have received honors like the Fields Medal, Abel Prize, Turing Award, Gödel Prize, and national academy fellowships (e.g., Royal Society and National Academy of Sciences membership). Lecturers often include holders of named chairs from universities such as Stanford University, UC Berkeley, Columbia University, and recipients of prizes administered by bodies like the American Mathematical Society and the European Mathematical Society. The conference has recognized early-career excellence through awards sponsored by entities including the Simons Foundation, the NSF, and university-specific fellowships.

Category:Mathematics conferences Category:Category theory