単純対象を1つ持つ半単純圏

ざっと調べただけだと、単純対象を本質的に1つだけ持つような半単純圏の呼び名がないようだ。

基礎体（ground fiedl）がkの有限次元ベクトル空間の圏では、kが（本質的に）唯一の単純対象。これにちなんで、唯一の単純対象を基礎対象（ground object）、または基礎単純対象。基礎対象を持つ圏を基礎付き圏（grounded category）とか。

いや、もう少し探そう。かなり重要な概念なんだから呼び名があってもよいはずだ。