What is your favorite example of categorification?

4$\begingroup$ amazon.com/CategoryFiftyDrawingsEdwardGorey/dp/0764937502 $\endgroup$– Will JagyCommented Oct 25, 2010 at 21:32

12$\begingroup$ Anybody who wants to make a more enduring contribution to the mathematics community might try to construct a concise article with the title What is a .... Categorification? for the widely distributed AMS Notices. Many of the articles published in that column are far too technical for the general reader, I think, due to the natural selfconsciousness people feel about what the experts will think. But categorification has the great advantage of being readily illustrated by userfriendly examples. (I'd do this myself if I had any expertise at all.) $\endgroup$– Jim HumphreysCommented Oct 27, 2010 at 18:46
19 Answers
There are a bunch; I don't know that I have a favorite. Here's one for now:
The free commutative monoid functor is a categorification of the exponential function.
Edit: I have been asked to explain this, so I will. We'll interpret "commutative monoid" in any cocomplete symmetric monoidal category $C$ where $\otimes$ distributes over colimits (each $X \otimes $ preserves colimits); the simplest way of ensuring that is to assume the category is symmetric monoidal closed.
Then, at the level of formulas, the free commutative monoid is
$$\exp(X) = \sum_{n \geq 0} X^{\otimes n}/\mathbf{n!}$$
where $\mathbf{n!}$ is the categorifier's notation for the symmetric group $S_n$, and we divide out by the canonical action of the $S_n$ on $X^{\otimes n}$.
There is an awful lot more to say about the categorified analogy, but I'll just say one. Using the hypotheses on the symmetric monoidal category $C$, the object $\exp(X)$ carries a commutative monoid structure, and in fact it is the free commutative monoid on the object $X$ (think of the symmetric algebra for the category $C = Vect$, for instance). Like any free functor, the left adjoint $\exp$ preserves colimits, for example coproducts. What is the coproduct of two commutative monoids (in the category of commutative monoid objects)? Their tensor product in $C$! Thus, we arrive at the exponential law
$$\exp(X + Y) \cong \exp(X) \otimes \exp(Y)$$
and this has many applications.

3

5$\begingroup$ And if you do your symmetrizing in a derived way, you get the free infinite loopspace, or $E_\infty$ monoid  stable homotopy instead of homology  spectrum objects instead of abelian group objects  ... $\endgroup$ Commented Oct 26, 2010 at 16:25

$\begingroup$ Thanks Todd for the additional explanation, this example is really nice! Thanks Tom for the additional information! $\endgroup$ Commented Oct 26, 2010 at 21:34

1$\begingroup$ @Todd: What a fantastic example!! Really, this is one of my favorite MO answers so far. $\endgroup$ Commented Jan 12, 2011 at 23:20

1$\begingroup$ @Martin: thank you very much! The mathematics is indeed beautiful to contemplate; one of my favorite applications is to the structure of the Lie algebra operad as a categorified logarithm valued in superspaces, via the PBW theorem. I tried to say something about this a long time ago at math.ucr.edu/home/baez/trimble/trimble_lie_operad.pdf , but I'm afraid I didn't do justice to it... $\endgroup$ Commented Jan 13, 2011 at 0:14
The move from betti numbers to homology groups.
Although this might not fit super tightly with the usual modern examples of "categorification" (in the way that say a monoidal category is a categorification of a monoid), it is probably the first and most important example of a concept being categorified, allowing for notions such as functoriality, naturality, etc. to flourish. [No way for a continuous map between spaces to induce a map between betti numbers! The old days before functoriality!].

4$\begingroup$ Maybe one should consider the categorification of Euler characteristic to homology groups. This is generalized in the theories of Floer homologies of 3manifolds and Khovanov homology, whose Euler characteristics give the Alexander polynomial and Jones polynomial, respectively. $\endgroup$– Ian AgolCommented Oct 26, 2010 at 3:36

1$\begingroup$ This is just about the first example given in the paper "Categorification" by Baez and Dolan, so I'd say it fits in quite well with the modern spirit. An excellent example of structural thinking. $\endgroup$ Commented Oct 26, 2010 at 13:45
Here's another example: the functor which maps a group to its classifying space is a categorification of taking the reciprocal.
Edit: The idea is that the total space $EG$ of the classifying bundle of $G$ is contractible and a cofibrant replacement of the point $1$ on which $G$ acts freely. Thus, the construction $BG = EG/G$ is taking a stacky quotient $BG = 1//G$.
There is a bit more to this idea than may first appear; let me take a related example (which may appear to have some Eulerian "wishful thinking" in it, but have a little faith here!). One way of taking the reciprocal is to pass to a geometric series, so that one suggestive notation for the free monoid construction
$$\sum_{n \geq 0} X^{\otimes n}$$
(in a suitable monoidal category; see my other comment on categorifying exponentiation) is a categorified reciprocal $1/(1  X)$. We can apply this idea in group cohomology for a group $G$ as follows: think of $\mathbb{Z}$ as being an abelianized point, and consider a standard $G$free resolution of $\mathbb{Z}$ such as the normalized homogeneous bar resolution, which we can think of as an abelianized $EG$. In one way of constructing this bar resolution (see e.g. HiltonStammbach p. 217), the degree $n$ component of $EG$ is
$$\mathbb{Z}G \otimes IG^{\otimes n}$$
where $IG$ is the augmentation ideal, i.e., the kernel of the augmentation map $\varepsilon: \mathbb{Z}G \to \mathbb{Z}$. As a bare module (or seen in degree 0), $IG$ can be seen as an abelianized "$G  1$". However, in the differentialgraded world, it is better to think of it as in degree 1, and this degree 1 shift $\Sigma IG$ can be seen as a categorified "$IG = 1  G$" (this may make more sense in the "superworld"; see for example my old notes on the Lie operad when I was doing some work with Saunders Mac Lane, or consider for example the occurrence of signs in the Euler characteristic). So now the total space of the bar resolution $EG$ is the sum of the degree $n$ components
$$\mathbb{Z}G \otimes \sum_{n \geq 0} (\Sigma IG)^{\otimes n}$$
which is an abelianized categorified form of $g \cdot \sum_{n \geq 0} (1  g)^n$ which is formally $1$ by the geometric series. Very similar types of categorified geometric series constructions occur in Joyal's theory of species (see especially his article on virtual species in Springer LNM 1234), which constructs the Lie operad by categorified constructions [if you read between the lines!], and in the bar resolution for operads as discussed by GinzburgKapranov; I tried to amplify this in my notes on the Lie operad.
Just to put one final gloss on this: consider the Schubert cell decomposition of projective space as a finite geometric series. For a field $k$ we have
$$\mathbb{P}^{n1}(k) = \frac{k^n  1}{k  1} = 1 + k + k^2 + \ldots + k^{n1}$$
(the '$1$' in the numerator is a zero vector, and the denominator is nonzero scalars $k^\ast$). We can pass to a limit and get infinitedimensional projective space. Keeping in mind that degree shifts introduce some sign changes in the geometric series, the infinitedimensional projective space $\mathbb{RP}^\infty$ would be a model of the homotopy quotient $1//\mathbb{R}^* \simeq 1//\mathbb{Z}_2$.

$\begingroup$ Which is most easily seen for finite groups... $\endgroup$– David Roberts ♦Commented Oct 26, 2010 at 2:44

2$\begingroup$ @Todd: Can you explain this? $\endgroup$ Commented Oct 26, 2010 at 9:06

$\begingroup$ I will at my next available opportunity... $\endgroup$ Commented Oct 26, 2010 at 11:46
The classical BGG resolution as a categorification of the Weyl character formula.

$\begingroup$ That's pretty cool! How do you deduce the Weyl character formula from the BGG resolution? $\endgroup$ Commented Oct 26, 2010 at 8:11

$\begingroup$ The BGG resolution gives you a resolution of the simple module in terms of direct sums of Verma modules. The EulerPoincaré principle applied to the resolution, together with the formula for the character of the Verma module, gives you the Weyl character formula. (This is all from memory: I have some notes in my office and I can check tomorrow.) $\endgroup$ Commented Oct 27, 2010 at 0:10

$\begingroup$ I would prefer to say, of the Kostant multiplicity formula, which is not the same as the Weyl character formula; they are Fourier transforms of one another. In particular there is a manifestly Weylinvariant way to state the Weyl character formula, $Tr(t_{V_\lambda}) = \sum\limits_{w\in W} w \cdot \frac{t^\lambda}{\prod_{\beta\in \Delta_} (1t^\beta)}$, but not the Kostant multiplicity formula. $\endgroup$ Commented Nov 30, 2015 at 3:18
Grassmannian varieties as categorifying (q)binomial coefficients.
The Monster Vertex Algebra (aka the Moonshine Module) categorifies Klein's $j$invariant, in the sense that it is a graded vector space whose graded dimension is the $q$expansion of $j744$. More generally, vertex operator algebras often categorify modular functions and (quasi)modular forms. This has something to do with invariance properties of torus partition functions.
The Monster Lie Algebra categorifies the KoikeNortonZagier $j$function product identity, in the sense that the WeylKacBorcherds denominator formula of the Lie algebra is precisely this identity. More generally, physicists seem to use constructions with words like "BPS states" and "Dbranes" in a way that categorifies automorphic forms on higher rank orthogonal groups (but I don't how it works).

1$\begingroup$ That's a great example, even for those who act like they don't like categories and "categorification". $\endgroup$ Commented Oct 26, 2010 at 11:48
I like one of the simplest and most well known examples: the category of finite sets and bijections functions (see below for comments) categorifies the natural numbers. Or rather it undecategorifies the decategorification that led to much of mathematics in the first place. That makes it pretty special, even if it is rather basic compared with other examples.

10$\begingroup$ Isn't it more natural to take all functions as morphisms? The resulting category has initial objects, terminal objects, finite products, finite coproducts, and an exponential, which categorify 0, 1, multiplication, addition, and exponentiation respectively. $\endgroup$ Commented Oct 26, 2010 at 16:11

1$\begingroup$ Quite right  that was a thinko on my part: I have most recently been interested in groupoidification, although the broader (and older) categorification was the first appeal to me. However this is a fortuitous illustration of an important point, which is that categorification, like quantization, is an art, not a functor, and what is "most natural" may depend on the context! If a set is viewed as a vector space with a canonical basis indexed by that set (or the dual of a vector space with such a canonical basis) then its groupoidification is a powerful idea in combinatorics! $\endgroup$ Commented Oct 27, 2010 at 21:39
A small example, but I think it's nice. The generating function $C(t) = \sum_{n \ge 0} \frac{1}{n+1} {2n \choose n} t^{2n}$ of the Catalan numbers is defined by the identity $C(t) = 1 + t^2 C(t)^2$. So one might try to find a "Catalan object" in some category satisfying an isomorphism generalizing this identity. One can take the corresponding combinatorial species in the sense of Joyal, but another choice is to take the invariant subalgebra of the tensor algebra of the defining representation of $\text{SU}(2)$!
Here's an example I learned from Todd Trimble. Recall that the degree $k$ part of the exterior algebra on a vector space $V$ of dimension $n$ has dimension ${n \choose k}$, and similarly the degree $k$ part of the symmetric algebra has dimension ${n+k1 \choose k} = \left( {n \choose k} \right)$. So one can think of these constructions as categorifying binomial coefficients. More precisely, the exterior algebra categorifies its Hilbert series $(1 + t)^n$, and the symmetric algebra categorifies its Hilbert series $\frac{1}{(1  t)^n}$.
But there's more! The duality between the Hilbert series above manifests itself in the identity $\left( {n \choose k} \right) = (1)^k {n \choose k}$, which categorifies to the following statement: "the exterior algebra is the symmetric algebra of a purely odd supervector space." So isomorphisms in the category of supervector spaces categorify identities involving negative binomial coefficients.

1$\begingroup$ Yes, the degree 1 shift in the superworld can be seen as taking a negative, as I remark in my recent edit on the classifying space as reciprocal. $\endgroup$ Commented Oct 26, 2010 at 15:55

$\begingroup$ Qiaochu, could you add this over on my question here: mathoverflow.net/questions/22750/… ? It sounds quite relevant. What are the power series (if there are any natural ones) that have the other pieces of the twelvefold way as their coefficients? $\endgroup$ Commented Jan 5, 2011 at 19:31

$\begingroup$ @Zev: I don't think there's much more to say beyond what's in Stanley's answer. I also don't really think the twelvefold way is the right way to look at the vector space side of things; quantum mechanics seems to me a much better source of motivation, and it is also relevant to this supervector space stuff. I discuss this briefly at the end of my most recent blog post: qchu.wordpress.com/2011/01/02/… $\endgroup$ Commented Jan 5, 2011 at 20:16
The plethystic monoidal product, or the substitution product of Joyal species, as a categorification of functional composition.
The empty category is a categorification of the empty set :))
The sphere spectrum as categorification of the integers, as remarked in a comment of Thomas Kragh below his answer here, and which I believe is due to Joyal.
Hm, that's a lot of answers from me. Should I stop now, or keep going?

3$\begingroup$ No, keep going! Your answers are great, especially 1/g ! $\endgroup$ Commented Oct 26, 2010 at 21:55
I don't know if I have a favourite either, but here's another one:
crossed modules in $Grp$ are strict 2groups aka group objects in $Cat$ aka category objects in $Grp$.
Of course, my favorite example is the $2$category of $2$tangles (defined below) is a categorification of the category of tangles. The category of tangles is a monoidal category with objects that correspond to the nonnegative integers, morphisms are generated by $$, $\cup$, $\cap$, $X$ and $\bar{X}$. In this $1$category, the Reidemeister moves (and zigzag and $\psi$move) are identities.
In the $2$category of $2$tangles, the $2$morphisms are generated by $\{ \} \leftrightarrow O$ (birth or death), $ \ \leftrightarrow \stackrel{\cup}{\cap}$ (saddle), and the aforementioned five Reidemeister moves (I, II, III, zigzag, and $\psi$). These are subject to the full set of (35 or so) movie moves. The $2$category of $2$tangles is a braided monoidal $2$category with duals. In fact, it is the free braided monoidal $2$category with duals on one selfdual object generator (Baez and Langford).
Okay then, here's another. 2Hilbert spaces as a categorification of Hilbert spaces, and the categorified GramSchmidt process (which I first learned from James Dolan).
This may be used to derive a $\mathbb{Z}$linear basis for the representation ring of $S_n$ that consists of permutation representations, hence a combinatorial alternative to the basis consisting of irreducible representations. The reference above sketches how this works in the case $Rep(S_4)$.
The canonical example in my mind is:
Sets ~> vector spaces ~> linear categories
This is not so trivial  it is relevant to the topic of extended TQFTs.
The category of groupoids as a categorification of the ring of rational numbers. See this MO question and this ncategory cafe post.

$\begingroup$ Relevant to this is . arXiv:1207.6404 "Groupoids and Faa di Bruno formulae for Green functions in bialgebras of trees" Imma GalvezCarrillo, Joachim Kock, Andrew Tonks $\endgroup$ Commented Sep 11, 2015 at 21:13
Is it perverse to just quote the original inception by Crane?
An obvious nice collection would be the paper with Yetter on examples of Categorification.
However, I actually like another Paper of Yetter's better in this direction; categorical linear algebra.
Also, Rosenberg's Noncommutative spectrum is a categorification: pdflink. Not in the strict sense, but "morally". That would be undoubtedly my favorite.

1$\begingroup$ But what is Rosenberg's reconstruction theorem (morally) a categorification of? $\endgroup$ Commented Oct 27, 2010 at 0:30

$\begingroup$ I am saying the spectrum is the categorification of the spectrum in the classical case. By considering the main object of study Rmod(corresponding to QCsheaves on a scheme) we make the transition from sets to abelian categories. We replaces our spaces with 'spaces' which are simply categories. In this sense, it is a categorification. $\endgroup$ Commented Oct 27, 2010 at 2:50

$\begingroup$ The proof in this old paper is incomplete (which was first noticed by Gabber). $\endgroup$ Commented Jan 12, 2011 at 23:27
In my limited experience of categories, I liked Quillen's notion of homotopy fibre (his paper Higher Algebraic KTheory I) for a functor between categories modelling the homotopy fibre of any map.

1$\begingroup$ Hmmm... I don't think I know quite what you mean here. Quillen's Theorem B says that when all the categorical fibers are homotopy equivalent to one another under base change, then they do indeed all model the homotopy fiber. But if they're not all equivalent, then Theorem B tells you nothing. In general I think it's a very hard (and unsolved) problem to find a category whose classifying space is the homotopy fiber of a functor
$C\to D$
. On the other hand, the dual problem of modeling the homotopy colimit of a diagram of categories was solved by Thomason in his thesis. $\endgroup$ Commented Oct 26, 2010 at 0:54