Categorification at prime roots of unity and hopfological finiteness

We survey some recent results in hopfological algebra and the program of categorification at prime roots of unity. A categorical Jones-Wenzl projector at prime roots of unity is studied, and it is shown that this projector is hopfologically finite in special characteristics, while generically it is infinite.
Dedicated to Christian Blanchet on the occasion of his sixtieth birthday