turkmath.org

Categorification is a recent philosophy that aims to enrich current set-based theories by introducing a new layer of morphisms, hence obtaining a category based theory. A classical example is homology theories that recover Euler characteristic through their dimensions, but offer more since one can talk about morphisms between homology groups now. After an introduction to categorification, we will see how this idea was applied to a Heisenberg algebra, through its connection to representation theory of the symmetric group .