The classification conjecture for incompressible moderate-growth categories
Classification conjecture. Every incompressible category of moderate growth over k\mathbf{k}k is a tensor subcategory of Verp∞\mathsf{Ver}_{p^\infty}Verp∞.
MathDB