Progress in Higher Categories
CMS Summer Meeting, Halifax, Nova ScotiaJune 4–7, 2013
At the 2013 CMS Summer meeting, there was a special session entitled Progress in Higher Categories.
Not too long ago, the field of higher categories consisted largely of a number of proposed definitions, with little in the way of comparisons and applications. The last few years have seen an explosion of progress, including yet more definitions, an appreciation of the importance of (∞,n)-categories, many explicit comparisons, characterization theorems, a range of applications, and the proofs of some fundamental conjectures. The goal of this session is to bring together people working on higher categories from different perspectives, including category theory, algebraic topology, and algebraic geometry, to take stock of the state of the field and its prospects as it begins to mature.