semiringal

monoid + al で monoidal という形容詞ができる。semiring + al で semiringal。ステファネスクは、semiringal categoryという言葉を使っている。半環圏と訳そう。

半環圏は、2つのモノイド構造を持ち。それらが、分配性（distributivity）自然変換で関係しているような圏だ。加法的関係圏と乗法的関係圏を一緒に考えた複合（mixed）関係圏が半環圏の例になる。双積とテンソル積を持つ圏も半環圏になるだろう。