半環圈
rig category
Rig category - Wikipedia
圈
論において
半環圈
(半環的 2-圈、2-rig) は、
半環 (rig)
演算と類似對應する
函手
演算を備へた
圈
である。「
基數
全體が
半環 (rig)
を成す」ことを
圈化
して「
集合の圈
(あるいはより一般に任意の
初等 topos
) が
半環圈
を成す」ことが述べられる。
rig category in nLab
2-rig in nLab
colax-distributive rig category in nLab
distributivity for monoidal structures in nLab