2008-06-27 初歩的分断亜群 圏一般論 具体例 分断圏とか初歩的圏とか、どうでもいいような概念にこだわってきたが、やっぱり意味はあるな。初歩的分断亜群の例は、アミダの圏(置換の圏、対称圏)、ブレイド圏、可逆行列の圏などがあるが、可逆計算の圏も初歩的分断亜群として定式化できる。ヒルベルト空間(複素内積空間)で定式化してもモノイド分断亜群となる。