https://123dok.net/document/q0575v3g-full-and-convex-linear-subcategories-are-incompressible.html