As categorification sweeps the land, it hits some areas sooner than others. While it’s had a big impact on fancy forms of mathematical physics like ‘topological quantum field theory’, it hasn’t yet ...