We observed that the category of p _semisimple BCI _algebras is a very nice category which is regular, normal, balanced, complete, abelian and equivalent to the category A b of abelian groups.

• 作为范畴，此代数具有正则、正规、平衡、完备、可交换等性质，且等价于交换群范畴，因而是一个比较好的范畴