nLab vertical categorification




Higher Category Theory

higher category theory

Basic concepts

Basic theorems





Universal constructions

Extra properties and structure

1-categorical presentations



Roughly speaking, vertical categorification is a procedure in which structures are generalized from the context of set theory to category theory or from category theory to higher category theory.

What precisely that means may depend on circumstances and authors, to some extent. The following lists some common procedures that are known as categorification. They are in general different but may in cases lead to the same categorified notions, as discussed in the examples.

See also categorification in representation theory.


As a section of decategorification

What has a more specific definition is the process of decategorification: this concretely quotients out k-morphisms in a n-category to produce a kk-category for some k<nk \lt n, in particular a (possibly large) set (the set of isomorphism classes or equivalence classes of objects) when k=0k = 0.

One may understand vertical categorification as any operation that is a section of this decategorification operation, and many examples in the literature are of this kind.


  • The maybe archetypical example of categorification as something that is taken by decategorification to the identity operation is the categorification of the set \mathbb{N} of natural numbers to the category FinSet of finite sets:

    The set \mathbb{N} is a 0-category, while FinSetFinSet is a 1-category. The isomorphism classes of FinSetFinSet however are in canonical bijection with the elements of \mathbb{N}:

    FinSet . \mathbb{N} \simeq FinSet_\sim .

    So \mathbb{N} is the decategorification of FinSetFinSet and accordingly FinSetFinSet is a (vertical) categorification of \mathbb{N}.

    From the point of view of category theory, there is some justification to the converse of this statement: the study of the natural numbers is nothing but the study of the isomorphism classes in FinSetFinSet. In a way, the very notion of counting is about this. This point is made nicely in BaDo98.

    But there are other categorifications of the natural numbers, for instance the category FinVectFinVect of finite dimensional vector spaces (over any given field). This is not equivalent to FinSetFinSet, but still, its set of isomorphism classes is also canonically in bijection with the natural numbers:

    FinVect . \mathbb{N} \simeq FinVect_\sim .

As internalization in nCatn Cat

Common structures such as groups, rings, etc. may be defined entirely diagrammatically as a collection of objects, morphisms and 2-morphisms in a category like Set (the 2-morphisms then are the identities required to hold between the given morphisms).

For instance a group is an object GG in Set equipped with a morphism μ:G×GG\mu : G \times G \to G and so on, and equipped with a 2-morphism from μId G×μ\mu \circ Id_G \times \mu to μμ×Id G\mu \circ \mu \times Id_G.

In such diagrammatic incarnation, these definitions may be internalized into other categories. For instance a group internal to Diff is a Lie group.

But similarly one can also internalize in categories of higher categories. Let Cat be the category of (small) categories, regarded as an ordinary category. Then a group internal to Cat is a strict 2-group. This is thought of as a notion of a categorified group.

And under the decategorification functor CatSetCat \to Set every categorified group G\mathbf{G} in this sense maps to an ordinary group GG and one could speak of G\mathbf{G} being “a categorification” of GG. But notice again how highly non-unique such categorification is. In particular, every ordinary group may trivially be regarded as a strict 2-group. As such every ordinary group is at the same time one of its own categorifications, in this sense.

Not every 2-group is a strict 2-group that is a group object internal to the 1-category Cat. In general, a 2-group is a weak group object in Cat: where in Set all 2-morphisms in the diagrammatic description of the concept of group necessarily had to be identities, in Cat they could be taken to be non-trivial. But if they are, one will usually want 3-morphisms (which now are necessarily identities) to relate various combinations of these 2-morphisms.

One speaks of this process of categorification using weak internalization of diagrammatic descriptions as categorification of structures up to coherent higher equivalences or up to coherent higher homotopies . One way to make this systematic is discussed below.


In the sense of “weakly internalizing in a higher categorical context” we have the following examples of categorification:

As homotopy coherent resolution

The above process of categorification by coherently weak internalization into higher categorical contexts can be made systematic at least in some cases.

If the structures being defined are algebras over an operad TT one may think of regarding TT as an (∞,1)-operads and then consider the structures of its algebras as algebras over an (,1)(\infty,1)-operad. These are infinity-categorified versions of the original structures.


For instance this way

Contrast to horizontal categorification

Some people also speak of horizontal categorification as categorification. This is to be distinguished from vertical categorification.

Some people just say ‘oidification’ for horizontal categorification, in which case it is consistent to speak of vertical categorificaton as just categorification .

Homotopification versus laxification

(Vertical) categorification can often be usefully decomposed into two operations.

  • In groupoidal categorification, which may also be called homotopification or groupoidification (although the latter term also has a different meaning, we allow objects to come with automorphisms, those automorphisms to come with automorphisms, and so on. In the limit, this involves replacing sets by ∞-groupoids or homotopy types (hence the name “homotopification”).

  • In directed categorification, which may also be called directification or laxification, we allow morphisms that were previously required to be invertible to instead be noninvertible (i.e. “directed”).

If you like negative thinking, then instead of saying that categorification ‘replaces sets by categories’ (to quote Wikipedia), you can say that we replace truth values by sets, especially the truth values of equations. That is, we acknowledge that there may be many different ways in which something may be true, and in particular many different ways in which two things may be the same. And then it is meaningful to ask whether two ways in which these things are the same are the same way (and if so, whether two ways that they are the same are the same way, etc).

However, when we apply “replace truth values by sets” to the truth values of the equality relation of a set, we end up with a groupoid, since the equality of a set is symmetric. Thus, while two elements of a set simply may (or may not) be equal, two objects of a groupoid may be isomorphic in many different ways. And while two parallel isomorphisms in a groupoid may be equal, two parallel equivalences in a 22-groupoid may be isomorphic in many different ways. Thus, this gives us groupoidal categorification, or homotopification.

To get from groupoids to categories, we need to also allow things which were previously invertible to be noninvertible, i.e. perform “directification.” We could also do this first starting from a set, obtaining a poset (in which the symmetric relation “is equal to” has been replaced by the non-symmetric one “is less than or equal to”). Then when we homotopify a poset, we get a category: while one element xx of a poset may precede an element yy, there may be many different morphisms from one object xx of a category to an object yy.

This can also be understood naturally in the language of (n,r)-categories. Recall that an (n,r)(n,r)-category can be defined as an ∞-category in which all cells above dimension rr are invertible, and all cells above dimension nn are trivial. Thus, groupoidal categorification can be understood as increasing nn but keeping rr constant, while directification can be understood as increasing rr but keeping nn constant.


The terminology goes back to

and was further amplified in

A bit of nn-Café discussion on this subject can be found here:

Some discussion and lecture notes can be found in part II of

and in Chapter 4 of

A general notion of categorification for structures defined by cartesian monads, which specializes to produce weak n-categories in the sense of Leinster, can be found here:

  • D. Bourn, J. Penon, Catégorification de structures définies par monade cartésienne, Cahiers de Topologie et Géométrie Différentielle Catégoriques 46, no. 1 (2005), p. 2-52, numdam.

Last revised on July 21, 2022 at 15:57:24. See the history of this page for a list of all contributions to it.