The periodic table in low dimensions
I: degenerate categories and degenerate bicategories

Eugenia Cheng and Nick Gurski

Abstract:

We examine the periodic table of weakn-categories for the low-dimensional cases. It is widely understood that degenerate categories give rise to monoids, doubly degenerate bicategories to commutative monoids, and degenerate bicategories to monoidal categories; however, to understand this correspondence fully we examine the totalities of such structures together with maps between them and higher maps between those. Categories naturally form a 2-categoryCatso we take the full sub-2-category of this whose 0-cells are the degenerate categories. Monoids naturally form a category, but we regard this as a discrete 2-category to make the comparison. We show that this construction does not yield a biequivalence; to get an equivalence we ignore the natural transformations and consider only thecategoryof degenerate categories. A similar situation occurs for degenerate bicategories. The tricategory of such does not yield an equivalence with monoidal categories; we must consider only the categories of such structures. For doubly degenerate bicategories the tricategory of such is not naturally triequivalent to the category of commutative monoids (regarded as a tricategory). However in this case considering just the categories does not give an equivalence either; to get an equivalence we consider thebicategoryof doubly degenerate bicategories. We conclude with a hypothesis about how the above cases might generalise forn-fold degeneraten-categories.

Two versions of this are available:

1. A draft version for the Streetfest, very explanatory, many diagrams (53 pages). Available as a pdf: click here.

2. A more concise version, to appear in the proceedings (23 pages). Available as a pdf: click here.

October 18th, 2006