相変わらずマンダラ圏Mandを考えている。Mandの候補として、あるいはMandのひとつの見方として、非可換多元環上の両側加群の圏がよさそうだ。実際は、非可換半多元環上の両側半加群の圏、全部「半」が付く。 半体 半ベクトル空間 半可換環（可換半環） 半加…