n-category = (n,n)-category
n-groupoid = (n,0)-category
category with duals (list of them)
dualizable object (what they have)
In higher category theory, there are several periodic tables, analogous to the periodic table of chemical elements. Just as this table allowed Менделеев to predict the existence of undiscovered elements in the table's gaps, so these periodic tables sometimes inspire us to invent new varieties of n-categories.
Fully filled out, the table looked like this:
|"||trivial||monoid||monoidal category||monoidal 2-category||...|
|"||"||abelian monoid||braided monoidal category||braided monoidal 2-category||...|
|"||"||"||symmetric monoidal category||sylleptic monoidal 2-category||...|
|"||"||"||"||symmetric monoidal 2-category||...|
Actually, the columns where and were not there, but they appeared to be required by the pattern of the table.
We now recognise that a -tuply monoidal -category should be pointed, leading to a slightly different table (see that page). Similarly, the definition given when didn't mention pointedness, giving essentially the definition of -simply connected -category. This makes a difference to the notions of morphism and higher morphism between such structures.
Eugenia Cheng and Nick Gurski wrote a paper about how these don’t end up quite right if you just look at -simply connected -categories, but in all cases we have analyzed they do come out correct if you look at the pointed versions. More on this can be found in the appendix to n-categories and cohomology.
… appearances in TWF, filling gaps, the first extension to small , the established literature on -categories, the stabilisation hypothesis, the tangle hypothesis, the table with Lie algebroids and the like, the appendix to John's and Mike's paper; most of these individual tables will have their own pages;