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 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 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 nforum 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 sheaves 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.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 4th 2017

    I’ve inserted proofs of equivalence of the three conditions listed in the definition of De Morgan algebra.

    • CommentRowNumber2.
    • CommentAuthormaxsnew
    • CommentTimeMay 4th 2017

    I added the Sierpinski space as an example, though it looks like from De Morgan Topos any “extremally disconnected space” is an example.

    Would be nice to have more concrete instances.

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeDec 13th 2017

    It appears that there are two different notions of “de Morgan algebra”. The one on our page De Morgan algebra is a Heyting algebra that satisfies de Morgan’s law; but the version on Wikipedia (which is also the one used in cubical type theory) is a distributive lattice equipped with a contravariant involution. Neither implies the other: in the former case the negation need not be involutive (otherwise it would be a Boolean algebra), while in the latter case the involution need not be induced from a Heyting implication.

    What do we do?

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 13th 2017

    We could have a disambiguation at the beginning, and link to a separate page Stone algebra for the thing we currently have (since Stone algebra is mentioned as an alternative term).

    • CommentRowNumber5.
    • CommentAuthorThomas Holder
    • CommentTimeDec 13th 2017

    “Stone algebra” is used in the La Palme ReyesReyesZolfaghari-book and presumably by Gonzalo E. Reyes in general. “Stone lattice” has the authority of Birkhoff’s lattice theory book as well as Johnstone’s 1977 book in its favor.

    On the other hand, the terminology as reported seems to be fairly well established in the topos theory literature and changing it would suggest changing De Morgan topos to Stone topos etc. (in view of things like “De Morganization” one might consider this an advantage though.)

    I would think it better to suggest terminological preferences in a less definitive way, let’s say in a remark section. Then people working with the concepts can figure out what they think best.

    So for the time being I would be inclined to keep both concepts under more and less the same name and on either the same or separate pages depending on how much attention&space one intends to give the involutive concept.

    • CommentRowNumber6.
    • CommentAuthorMike Shulman
    • CommentTimeDec 13th 2017

    I don’t think it’s a good idea to have two different concepts on the same page.

    The name “de Morgan topos” suggests a back-formation of “de Morgan locale”, and for the not-necessarily-complete version we could say “de Morgan Heyting algebra”.

    • CommentRowNumber7.
    • CommentAuthorDavidRoberts
    • CommentTimeDec 13th 2017

    The name de Morgan Heyting algebra occurred to me too.

    • CommentRowNumber8.
    • CommentAuthorMike Shulman
    • CommentTimeDec 16th 2017

    No one objected to #6, so I went ahead and moved the current page to De Morgan Heyting algebra (and updated links) and created a new page De Morgan algebra for the other one. We can still discuss terminology if anyone wants, though; the page could be moved again if we reach a different consensus. I just wanted to resolve the issue in some way, so that for instance the link from cubical type theory would not be wrong.

  1. Add the four-point algebra as an example. This is a great counterexample, and also generates all DeMorgan algebras (in Set) as subalgebras of products. Note that $\neg a = a, notb‘.

    Didn’t include this fact at the moment as I didn’t have a citation handy, but it’s useful in that algebraic statements (with equality and regular logic) can be checked semantically against just this example.


    diff, v3, current