半環圈 - .｡oO(さっちゃんですよヾ(〃l

半環圈

rig category

圈論において半環圈 (半環的 2-圈、2-rig) は、半環演算と類似對應する函手演算を備へた圈である。「基數全體が半環を成す」ことを圈化して「集合の圈 (あるいはより一般に任意の topos) が半環圈を成す」ことが述べられる。