Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Added as examples: 0, ℤ/2ℤ and 𝔹={0,1} with 1+1=0. Proved that they are exactly the boolean rigs of cardinal less or equal than 2.
I don’t know if boolean rigs in the sense of this entry are always commutative. In The variety of Boolean semirings, they show that they are commutative assuming that 1+x+x=1. If some noncommutative boolean rig exists, it must be of cardinal ≥3, not be a ring (because boolean rings are commutative) and not verify this equation.
these objects are called “multiplicatively idempotent rigs” in the literature, e.g.
moving the entire examples section to Boolean rig (Guzmán) since all the examples are of commutative multiplicative idempotent rigs.
Re #5 and #6: that sounds at least confusing, if not outright wrong. Normally, an “X object”, for some let’s say some algebraic notion X, would refer to an internalization of that notion in some brand of monoidal category that would support the expression of that notion. For example, the notion of monoid internalizes to any monoidal category, but the notion of commutative monoid would require an ambient symmetric or braided monoidal category. In the case of an idempotent monoid or band, the equation x⋅x=x involves a duplication of x on the left side, hence would require diagonal maps; the most natural scenario for that would be a cartesian monoidal category.
But if you treat CMon as a cartesian monoidal category (in order to make sense of “idempotent monoid object”), then the internalization is not a multiplicative idempotent rig. I expect what you had in mind is rather (CMon,⊗), where monoid objects capture the distributivity (bilinearity of multiplication over addition), but then in that case, diagonals are problematic.
removed incorrect statement
Every multiplicatively idempotent semiring is an idempotent monoid object in CMon, the category of commutative monoids and monoid homomorphisms.
Pete Sanders
Todd Trimble,
On the other hand, there does exist the notion of monoidal category with diagonals, but I don’t if the tensor product of commutative monoids has diagonals in that sense.
Edit: according to the Category Theory Zulip, the tensor product in both Ab and in CMon do not have diagonals in the above sense.
Pete Sanders is wrong. Idempotent monoids can be internalized in any monoidal category. See idempotent monoid in a monoidal category.
no they don’t, the “idempotent monoids” discussed in idempotent monoid in a monoidal category are a completely different concept compared to the idempotent monoids in algebra, as mentioned in the article itself.
Pete Sanders
1 to 11 of 11