Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorTobyBartels
    • CommentTimeJun 10th 2018

    Note that indeed any idempotent magma in AbAb is commutative.

    diff, v10, current

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 10th 2018

    There’s something just a bit odd though about the notion of idempotent monoid in AbAb. When one says that a ring is a monoid in AbAb, one means a monoid in the monoidal category (Ab,)(Ab, \otimes) with the standard tensor product. However, this tensor product isn’t cartesian, and so expressing the notion of an idempotent monoid (where the axiom xx=xx x = x involves duplication of a variable) doesn’t go down so smoothly.

    • CommentRowNumber3.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 10th 2018

    Gave a meaning to “idempotent monoid” in concrete monoidal categories.

    diff, v11, current

    • CommentRowNumber4.
    • CommentAuthorJohn Baez
    • CommentTimeMay 21st 2023

    Added a bit about the monad for Boolean rings:

    The free Boolean ring on a set XX can be identified with 𝒫 f𝒫 fX\mathcal{P}_f \mathcal{P}_f X, where 𝒫 f:SetSet\mathcal{P}_f \colon Set \to Set assigns to any set the set of all its finite subsets. In fact 𝒫 f:SetSet\mathcal{P}_f \colon Set \to Set can be made into a monad in two different ways: the monad for semilattices and the monad for vector spaces over the field with 2 elements. These two monads are related by a distributive law, making 𝒫 f𝒫 f\mathcal{P}_f \mathcal{P}_f into the monad for Boolean rings.

    Also mentioned:

    The category of Boolean algebras is discussed further in BoolAlg, but some of the results about this category are proved there by working with the equivalent category of Boolean rings.

    diff, v12, current

    • CommentRowNumber5.
    • CommentAuthorJohn Baez
    • CommentTimeMay 22nd 2023

    Added “Idea” section.

    diff, v13, current

    • CommentRowNumber6.
    • CommentAuthorJ-B Vienney
    • CommentTimeMay 22nd 2023

    Added interpretation of the connectors in the idea section.

    diff, v14, current

    • CommentRowNumber7.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 22nd 2023
    • (edited May 22nd 2023)

    J-B, the additive inverse in a Boolean ring does not interpret negation. (In fact, additive inversion is the identity!) Negation is given by x1xx \mapsto 1 - x, or equivalently by x1+xx \mapsto 1 + x.

    • CommentRowNumber8.
    • CommentAuthorJ-B Vienney
    • CommentTimeMay 22nd 2023
    Oh, thanks, I've learned something! So it is really ring because x (exclusive or) x = "false".
    • CommentRowNumber9.
    • CommentAuthorJ-B Vienney
    • CommentTimeMay 22nd 2023

    Added in the idea section “The fact that the exclusive disjunction of xx and xx is the truth value “false” makes the commutative additive monoid an abelian group where x=x-x = x.”

    diff, v16, current

    • CommentRowNumber10.
    • CommentAuthorJ-B Vienney
    • CommentTimeMay 22nd 2023
    • (edited May 22nd 2023)

    Corrected the assertion that a boolean ring is of characteristic 2 by the correct one that its characteristic divides 2, so it is 2 except when the boolean ring is trivial, in which case it is 1.

    diff, v17, current

    • CommentRowNumber11.
    • CommentAuthorGuest
    • CommentTimeMay 22nd 2023

    Added related concepts section

    diff, v19, current

    • CommentRowNumber12.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 22nd 2023

    While not exactly wrong, I think it’s quite rare to refer to “characteristic 1”. Since “characteristic” usually refers to fields or perhaps algebras over fields, I’ve made an adjustment and hope no one minds.

    • CommentRowNumber13.
    • CommentAuthorGuest
    • CommentTimeMay 22nd 2023

    added statement that one needs to use the set of all decidable subsets 2 S2^S instead of the set of all subsets 𝒫(S)\mathcal{P}(S) in constructive mathematics to get a Boolean ring

    diff, v22, current

    • CommentRowNumber14.
    • CommentAuthorJohn Baez
    • CommentTimeMay 22nd 2023

    Corrected description of the monad for Boolean rings.

    diff, v23, current

    • CommentRowNumber15.
    • CommentAuthorGuest
    • CommentTimeMay 22nd 2023

    Let boolean\mathrm{boolean} denote the type of booleans or decidable truth values. Since Booleans rings are 𝔽 2\mathbb{F}_2-algebras, and 𝔽 2\mathbb{F}_2 is equivalent to boolean\mathrm{boolean}, one could say that Boolean rings are boolean\mathrm{boolean}-algebras.

    • CommentRowNumber16.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 23rd 2023

    Ba-dum pah. Or: bool-yah!

    • CommentRowNumber17.
    • CommentAuthorJ-B Vienney
    • CommentTimeMay 23rd 2023
    • (edited May 23rd 2023)

    It would be nice to describe explicitly the equivalence of categories between BoolAlg and BoolRing.

    It is described in this entry how the two functors act on objects but not how they act on morphisms. Even less what are the natural isomorphisms FGIdF \circ G \cong Id and GFIdG \circ F \cong Id.

    • CommentRowNumber18.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 23rd 2023

    I’ll put something in.

    • CommentRowNumber19.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 23rd 2023

    Done.

    diff, v24, current

    • CommentRowNumber20.
    • CommentAuthorGuest
    • CommentTimeMay 23rd 2023

    Quick question. Are there any non-associative unital 𝔽 2\mathbb{F}_2-algebras? Or are all unital 𝔽 2\mathbb{F}_2-algebras associative?

    • CommentRowNumber21.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 23rd 2023
    • (edited May 23rd 2023)

    By 𝔽 2\mathbb{F}_2-algebra, I mean an associative one. But there are many examples of what you want, of unital bilinear magma structures that are nonassociative.

    All you need to do is take any nonassociative unital magma MM. (For example, take M={b,c,d,e}M = \{b, c, d, e\}. and then create a multiplication table so that the first row and first column, each indexed by ee, makes ee the identity element, and then fill in the rest of the multiplication table by randomly choosing entries. Most of those tables will be nonassociative.) Then, take the free vector space 𝔽 2[M]\mathbb{F}_2[M] on MM. The unique bilinear extension 𝔽 2[M]×𝔽 2[M]𝔽 2[M]\mathbb{F}_2[M] \times \mathbb{F}_2[M] \to \mathbb{F}_2[M] of the multiplication table then gives a unital bilinear magma structure which is nonassociative because MM is.