--- aliases: ["Artinian"] --- Objects have finite length and $\dim_K \cat{C}(X, Y) < \infty$?