The periodic table of n-categories for low dimensions I: degenerate categories and degenerate bicategories

  title={The periodic table of n-categories for low dimensions I: degenerate categories and degenerate bicategories},
  author={Eugenia Cheng and Nick Gurski},
  journal={arXiv: Category Theory},
We examine the periodic table of weak n-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-category {\bfseries Cat} so we take the full sub-2… 

Figures from this paper

The periodic table of $n$-categories for low dimensions II: degenerate tricategories
We continue the project begun in ``The periodic table of $n$-categories for low dimensions I'' by examining degenerate tricategories and comparing them with the structures predicted by the Periodic
  • S. Lack
  • Mathematics, Philosophy
    Appl. Categorical Struct.
  • 2010
It is described a useful way in which to regard bicategories as objects of a 2-category, and some properties of these icons are described, which give applications to monoidal categories, to 2-nerves of bic Categories, to2-dimensional Lawvere theories, and to bundles of bICategories.
Iterated icons
We study the totality of categories weakly enriched in a monoidal bicategory using a notion of enriched icon as 2-cells. We show that when the monoidal bicategory in question is symmetric then this
Comparing operadic theories of $n$-category
We give a framework for comparing on the one hand theories of n-categories that are weakly enriched operadically, and on the other hand n-categories given as algebras for a contractible globular
Framed bicategories and monoidal fibrations
In some bicategories, the 1-cells are `morphisms' between the 0-cells, such as functors between categories, but in others they are `objects' over the 0-cells, such as bimodules, spans, distributors,
Action operads and the free G-monoidal category on n invertible objects
We use the theory of action operads and their algebras to study a class of associated monoidal categories, particularly those that are freely generated by some number of invertible objects. We first
Stable Postnikov data of Picard 2-categories
Picard 2-categories are symmetric monoidal 2-categories with invertible 0-, 1-, and 2-cells. The classifying space of a Picard 2-category $\mathcal{D}$ is an infinite loop space, the zeroth space of
Picard 2-categories are symmetric monoidal 2-categories with invertible 0-, 1-, and 2-cells. The classifying space of a Picard 2-category D is an infinite loop space, the zeroth space of the K-theory
Gray categories with duals and their diagrams
The geometric and algebraic properties of Gray categories with duals are investigated by means of a diagrammatic calculus. The diagrams are three-dimensional stratifications of a cube, with regions,
Extriangulated categories, Hovey twin cotorsion pairs and model structures
We give a simultaneous generalization of exact categories and triangulated categories, which is suitable for considering cotorsion pairs, and which we call extriangulated categories.


Weak identity arrows in higher categories
There are a dozen definitions of weak higher categories, all of which loosen the notion of composition of arrows. A new approach is presented here, where instead the notion of identity arrow is
On braided tensor categories
We investigate invertible elements and gradings in braided tensor categories. This leads us to the definition of theta-, product-, subgrading and orbitcategories in order to construct new families of
Higher-Dimensional Algebra III: n-Categories and the Algebra of Opetopes
Abstract We give a definition of weak n -categories based on the theory of operads. We work with operads having an arbitrary set S of types, or “ S -operads,” and given such an operad O , we denote
A Coherent Approach to Pseudomonads
Abstract The formal theory of monads can be developed in any 2-category, but when it comes to pseudomonads, one is forced to move from 2-categories to Gray-categories (semistrict 3-categories). The
Higher dimensional algebra and topological quantum field theory
The study of topological quantum field theories increasingly relies upon concepts from higher‐dimensional algebra such as n‐categories and n‐vector spaces. We review progress towards a definition of
Higher Operads, Higher Categories
Part I. Background: 1. Classical categorical structures 2. Classical operads and multicategories 3. Notions of monoidal category Part II. Operads. 4. Generalized operads and multicategories: basics
Homotopy types of strict 3-groupoids
We look at strict $n$-groupoids and show that if $\Re$ is any realization functor from the category of strict $n$-groupoids to the category of spaces satisfying a minimal property of compatibility
Coherence of tricategories
Interestingly, coherence of tricategories that you really wait for now is coming. It's significant to wait for the representative and beneficial books to read. Every book that is provided in better