ざっと調べただけだと、単純対象を本質的に1つだけ持つような半単純圏の呼び名がないようだ。基礎体（ground fiedl）がkの有限次元ベクトル空間の圏では、kが（本質的に）唯一の単純対象。これにちなんで、唯一の単純対象を基礎対象（ground object）、また…

(1 + a)+ = a* って自明に思える。つうか、無意識に（かなり頻繁に）使ってしまうのだけど、示そうと思ったらツマズイタ。だめだー。[追記]これが難しいのはたぶん理由がある。順序を使って示すのは比較的楽だし、直接計算でもベキ等性は使う。ベキ等性かヤ…

VMないしはそのUIの機能： 無限走行しないように、リミットを設ける。指定した数のインストラクションを実行したら止まるか、ダイアログを出して聞く。 外部IO。IOポートを設けて、プリント命令（インストラクション）を追加。プリント命令の仕様は考える。 …