圏の単純さ

アーベル圏Cの対象Uが単純（simple）⇔monoなV→Uがあれば、V≒0かV≒U。

単純とは、部分対象が自明なものしかないこと。半単純な対象とは、単純対象の有限積で書けること。すべての対象が半単純なら、圏は半単純。