## Research and publications## What is higher category theory?Category theory might be defined as the mathematical study of relationships. In a category, we have some particular things that we want to study,
and we have ways of relating them to each other. One example might be a category which has numbers in it, and the relationships between these numbers
are given by whether or not some number is at least as big as another. The things we want to compare are called In our first example, the relationships were quite basic: the number 7 is larger than the number 3, and there is nothing more to say. In the second example, the relationships were
more complicated, as there are many ways to drive between pairs of cities, and there are also many pairs of cities for which you cannot drive between them at all.
Additionally, the morphisms in our second example (the routes between cities) themselves have relationships between them of various kinds. One example of such
a relationship is that one route between a pair of cities might be longer than another. This introduces the notion of relationships between relationships, and then relationships between
relationships between relationships, and so on. It is this concept that gets referred to as the The study of higher category theory can be divided into two parts. First, we might just be interested in how to organize all these layers of relationships in a coherent and sensible way. Depending on what kinds of relationships you want to study, this can be a very easy or very hard task. Second, you might study the consequences of such a system. Ordinary category theory shows how many different mathematical objects can exhibit similar properties based merely on the kinds of relationships that these objects have with those around them; higher category theory does the same, only now everything gets a little more complicated. Higher category theory is also intimately connected with homotopy theory and algebraic topology, both as a language and as a complementary theory. Spaces
can be seen as special kinds of higher categories called groupoids or ## Publications- (With Eugenia Cheng) Towards an n-category of cobordisms Theory Appl. Categ. 18 (2007), No. 10, 274–302.
- (With Eugenia Cheng) The periodic table of n-categories for low-dimensions I: degenerate categories and degenerate bicategories in ``Categories in Algebra, Geometry and Mathematical Physics'', 143-164, Contemp. Math., 431, Amer. Math. Soc., Providence, RI, 2007.
- (With Richard Garner) The low-dimensional structures formed by tricategories Math. Proc. Cam. Phil. Soc. 146 (2009), no. 3, 551-589.
- Nerves of bicategories as stratified simplicial sets J. Pure Appl. Algebra 213 (2009), no. 6, 927–946.
- (With Eugenia Cheng) The periodic table of n-categories for low-dimensions II: degenerate tricategories Cahiers Topologie Geom. Differentielle Categ. 52 (2011), no 2., 82-125.
- Loop spaces, and coherence for monoidal and braided monoidal bicategories Adv. Math. 226 (2011), no. 5, 4225–4265.
- Biequivalences in tricategories Theory Appl. Categ. 26 (2012), 349–384.
- The monoidal structure of strictification Theory Appl. Categ. 28 (2013), 1–23.
- (With Angélica M. Osorno) Infinite loop spaces, and coherence for symmetric monoidal bicategories Adv.Math. 246 (2013), 1–32.
- Coherence in Three-Dimensional Category Theory Tracts in Mathematics 201, Cambridge University Press, 2013, 277pp.
- (With Eugenia Cheng and Emily Riehl) Cyclic multicategories, multivariable adjunctions and mates, Journal of K-Theory 13 (2014), 337-396.
- (With Eugenia Cheng) Iterated icons, Theory Appl. Categ. 29 (2014), 929-977.
- (With John Bourke) A cocategorical obstruction to tensor products of Gray-categories Theory Appl. Categ. 30 (2015), 387–409.
## Preprints- (With Alexander S. Corner) Operads with general groups of equivariance, and some 2-categorical aspects of operads in Cat
- (With Niles Johnson and Angélica M. Osorno) K-theory for 2-categories
- (With Niles Johnson and Angélica M. Osorno) Extending homotopy theories from strict maps to lax maps
- Operads, tensor products, and the categorical Borel construction
- (With John Bourke) The Gray tensor product via factorisation
## Current projectsHere are some projects I am currently working on. -
**Higher distributive laws:**(With James Cranch) We are trying to give a unified approach to higher dimensional distributive laws with the particular goal to apply this theory to structures appearing in stable homotopy theory. -
**The stable homotopy hypothesis in dimension 2:**(With Niles Johnson and Angélica M. Osorno) We study Picard 2-categories which are symmetric monoidal 2-categories in which objects, 1-cells, and 2-cells are all appropriately invertible. The aim of the project is to use these to model stable homotopy 2-types, and moreover to understand topological invariants categorically. -
**Group actions on invertible objects:**(With Ed Prior) Invertible objects in a symmetric monoidal category carry a canonical action of the cyclic group of order 2, a kind of universal multiplication by -1. We investigate the same phenomenon in other kinds of monoidal categories such as braided ones.
## Contact DetailsDr Nick Gurski Last updated: 16 October 2015 |