Categorification at a root of Unity

Being able to categorify structures where a root of unity is present is motivated by Turaev-Viro invariants of 3-manifolds. I will discuss the problem of categorifying at a root of unity. Current progress rests on the foundations of hopfological algebra, which generalises the theory of dg-algebras, which I will discuss.