Search Clay Mathematics Institute

  • About
    About
    • About
    • History
    • Principal Activities
    • Who’s Who
    • CMI Logo
    • Policies
  • Programs & Awards
    Programs & Awards
    • Programs & Awards
    • Funded programs
    • Fellowship Nominations
    • Clay Research Award
    • Dissemination Award
  • People
  • The Millennium Prize Problems
    The Millennium Prize Problems
    • The Millennium Prize Problems
    • Birch and Swinnerton-Dyer Conjecture
    • Hodge Conjecture
    • Navier-Stokes Equation
    • P vs NP
    • Poincaré Conjecture
    • Riemann Hypothesis
    • Yang-Mills & the Mass Gap
    • Rules for the Millennium Prize Problems
  • Online resources
    Online resources
    • Online resources
    • Books
    • Video Library
    • Lecture notes
    • Collections
      Collections
      • Collections
      • Euclid’s Elements
      • Ada Lovelace’s Mathematical Papers
      • Collected Works of James G. Arthur
      • Klein Protokolle
      • Notes of the talks at the I.M.Gelfand Seminar
      • Quillen Notebooks
      • Riemann’s 1859 Manuscript
  • Events
  • News

Home — Events — Higher Categories and Categorification

Higher Categories and Categorification

Date: 21 January - 29 May 2020

Location: MSRI

Event type: Extended Format

Organisers: David Ayala (Montana), Clark Barwick (MIT), David Nadler (Berkeley), Emily Riehl (JHU), Marcy Robertson (Melbourne), Peter Teichner (MPIM), Dominic Verity (Macquarie)

Website: www.msri.org/programs/323

Though many of the ideas in higher category theory find their origins in homotopy theory — for instance as expressed by Grothendieck’s “homotopy hypothesis” — the subject today interacts with a broad spectrum of areas of mathematical research. Unforeseen descent, or local-to-global formulas, for familiar objects can be articulated in terms of higher invertible morphisms. Compatible associative deformations of a sequence of maps of spaces, or derived schemes, can putatively be represented by higher categories, as Koszul duality for E_n-algebras suggests. Higher categories offer unforeseen characterizing universal properties for familiar constructions such as K-theory. Manifold theory is natively connected to higher category theory and adjunction data, a connection that is most famously articulated by the recently proven Cobordism Hypothesis.

In parallel, the idea of “categorification” is playing an increasing role in algebraic geometry, representation theory, mathematical physics, and manifold theory, and higher categorical structures also appear in the very foundations of mathematics in the form of univalent foundations and homotopy type theory. A central mission of this semester will be to mitigate the exorbitantly high “cost of admission” for mathematicians in other areas of research who aim to apply higher categorical technology and to create opportunities for potent collaborations between mathematicians from these different fields and experts from within higher category theory.

Professor Peter Teichner (MPIM) has been appointed as a Clay Senior Scholar to participate in this program.

CMI Enhancement and Partnership Program

Share

Related events

See all events
Mathematical Developments in Geophysical Fluid Dynamics
13 April - 10 July 2025

Mathematical Developments in Geophysical Fluid Dynamics

Institute Henri Poincaré

Read more
Operators Graphs Groups INI
7 July - 17 December 2025

Operators, Graphs, Groups

Isaac Newton Institute

Read more
6 - 26 July 2025

Extremal and Probabilistic Combinatorics

Park City Mathematics Institute

Read more
Geometry and Dynamics for Discrete Subgroups msri
20 January - 22 May 2026

Geometry and Dynamics for Discrete Subgroups of Higher Rank Lie Groups

Simons Laufer Mathematical Sciences Institute

Read more
See all events
  • Privacy Policy
  • Contact CMI

© 2025 Clay Mathematics Institute

Site by One