# Questions tagged [categorification]

The tag has no usage guidance.

58 questions
Filter by
Sorted by
Tagged with
132 views

### Categorification of a vector space such that a functor between these is a linear map?

A functor between two monoids seen as 1 object categories is essentially a monoid-homomorphism. What is the equivalent construction for vector spaces and linear maps?
• 179
1k views

### What is decategorification?

A decategorification is, roughly, some procedure $\Phi$ which inputs some sort of $n$-categorical data and outputs some sort of $(n-1)$-categorical data. Whatever this means, categorification is ...
• 62.2k
429 views

### What are meromorphic line bundles?

Initially I wanted to call this question "Categorification of meromorphic functions?" but discovered so many questions about categorification that I became scared and decided to replace it ...
• 17.7k
116 views

### An alternative (?) approach to differential ringoids

Recall that a derivation on a ring $R$ is a function $\partial:R\to R$ satisfying the Leibniz rule $$\partial(ab)=\partial(a)b+a\partial(b),$$ and a differential ring is just a ring equipped with a ...
• 9,047
1 vote
127 views

• 325
112 views

• 1,063
241 views

### Reference Request: The Categorification of $\mathbb{Z}$ as cochain complexes of vector spaces

Just as the fact that a categorification of $\mathbb{N}$ is the category of finite dimensional vector spaces, a categorification of $\mathbb{Z}$ (in my mind) is the category of bounded cochain ...
• 8,737
1k views

• 44.2k
6k views

### Examples of categorification

What is your favorite example of categorification?
761 views

### Are homological knot invariants of finite type?

It is well known that, after a change of variables, the quantum knot invariants (Jones, HOMFLY, Kauffman, etc.) can be written as power series whose coefficients are finite type (i.e., Vassiliev) ...
• 8,653
414 views

### Categorifying the group representations

I've heard about this construction on the lecture about higher representation theory: Given a Lie algebra $g$, one constructs $\mathcal A$, a category whose $K_0$ is the universal enveloping ...
12k views

### What precisely Is "Categorification"?

(And what's it good for.) Related MO questions (with some very nice answers): examples-of-categorification; can-we-categorify-the-equation $(1-t)(1+t+t^2+\dots)=1$?; categorification-request.
• 24.4k
2k views

### What structure on a monoidal category would make its 2-category of module categories monoidal and braided?

So, many of us know the answer to "what kind of structure on an algebra would make its category of representations braided monoidal": your algebra should be a quasi-triangular Hopf algebra (maybe if ...
• 44.2k