Not signed in (Sign In)

Start a new discussion

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 beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology combinatorics comma complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity 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 infinity integration integration-theory k-theory kan lie lie-theory limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monoidal monoidal-category-theory morphism motives motivic-cohomology newpage nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar 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 subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory 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).
  1. I created effect algebra.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJan 7th 2013

    I gave it an Idea-section and added some more references.

    • CommentRowNumber3.
    • CommentAuthorStephan A Spahn
    • CommentTimeJan 7th 2013
    • (edited Jan 7th 2013)

    Thanks. I made the link spectrum pointing to spectrum of an operator.

    When I looked for texts concerning effect algebras I often found formulations like “effect of a computation” (but this seems rather unrelated) and google put papers on functional programming on the first places; so I was a bit surprised that the idea section starts with “in quantum mechanics”. But of course quantum logic is also a motivation Bart Jacob has in “new directions in categorical logic”.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJan 7th 2013
    • (edited Jan 8th 2013)

    Thanks. We should also have more examples. The simplest example is the addition on real numbers in [0,1][0,1].

    When I looked for texts concerning effect algebras I often found formulations like “effect of a computation” (but this seems rather unrelated)

    Yes, that’s unrelated. And you should add a warning to the entry that says so! These articles on “algebras with effects” are talking about things more like those at monad (in computer science).

    so I was a bit surprised that the idea section starts with “in quantum mechanics”.

    That’s where the notion of effect algebra originates. It’s a formalization of the behaviour of those self-adjoined operators which in quantum mechanics are called “effects”, a generalization of projectors.

    (I am not a big fan of any of this terminology and notions, but in some circles it is standard.)

    • CommentRowNumber5.
    • CommentAuthorStephan A Spahn
    • CommentTimeJan 8th 2013
    • (edited Jan 8th 2013)

    We should also have more examples.

    There may already be some examples at coalgebra of an endofunctor; and an entry coalgebra of the real interval. I didn’t yet check which of those are effect algebras. But I created effect algebra of predicates since my interest was mainly in this example of the internal logic of extensive categories. In fact I would like to understand in which sense extensive categories can be seen as cohesive (so the effect algebras may be rather a side-effect).

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJan 8th 2013
    • (edited Jan 8th 2013)

    I urge you to write out how the unit interval is naturally an effect algebra under addition. You don’t have to look at any other entries for this. Just look at the definitions that you wrote out at effect algebra.

    • CommentRowNumber7.
    • CommentAuthorgejza.jenca
    • CommentTimeJan 8th 2013

    Greetings from “some circles” ;-).

    I do not think it is a good idea to denote the effect algebra operation by \vee. Besides being nonstandard, it gives a false impression that the aba\vee b is the supremum of the set {a,b}\{a,b\} with respect to the poset structure. This is not true in general. For example (in the real unit interval) 0.50.5=10.5 \vee 0.5=1 looks silly, doesn’t it?

    The standard symbol for the effect algebra operation is \oplus.

  2. write out how the unit interval is naturally an effect algebra under addition

    Ok, I will write this, then.

    I do not think it is a good idea to denote the effect algebra operation by ∨

    It is denoted by ’\ovee’ in “new directions” but this symbol is not available in itex. \oplus is used only once in the reference denoting a direct sum of vector spaces. However ’\ovee’ has a complemetary symbol ’\owedge’, so \oplus would then be complementary to \ominus which is used for something different in the reference: In Lemma 6 p.25 are detailed some relations between the different operators.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeJan 8th 2013
    • (edited Jan 8th 2013)

    Stephan,

    once you write out the example of the unit interval you’ll see why \oplus is a good idea. Also write out the example that gives the concept its name, that of effect operators. (Both are simple. Should just take a minute.)

  3. I see that it is a partially defined addition of real numbers and I didn’t mean to insist on \vee. Parts of what I wrote above remain untouched, however.

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeJan 8th 2013

    I see that it is a partially defined addition of real numbers

    Yup!

    Could you also add the example of effect operators?

    • CommentRowNumber12.
    • CommentAuthorJames Francese
    • CommentTimeMar 14th 2019

    Added acknowledgement of D-posets/D-lattices as parallel concept in the literature. Created link for separation algebras

    diff, v17, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)