Not signed in

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

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorRobin
   • CommentTimeMar 20th 2014
   • PermaLink
   Author: Robin
   Format: TextFor my first contribution to nLab, I've typed up my notes on effect algebras, with the definitions of a generalized effect algebra and morphism of effect algebras. The proofs here are more basic than most that I've seen on the wiki, but I've decided to include them in the spirit of this being a public lab book.

   For my first contribution to nLab, I've typed up my notes on effect algebras, with the definitions of a generalized effect algebra and morphism of effect algebras. The proofs here are more basic than most that I've seen on the wiki, but I've decided to include them in the spirit of this being a public lab book.
2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeMar 20th 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks! If here on the nForum you type [[effect algebra]] It produces the link to the nLab entry [[effect algebra]].

   Thanks!

   If here on the nForum you type

     [[effect algebra]]
   

   It produces the link to the nLab entry effect algebra.

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeMar 20th 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexBy the way, don't worry about proofs being too basic. The nLab in total records a lot of proofs by now, but on average in the entries, it should eventually be many more. If an entry grows large and we begin to feel that more elementary discussion should be separated from more advanced discussion, then we can still split it up or do something else about it. But every piece of information is welcome,

   By the way, don’t worry about proofs being too basic. The nLab in total records a lot of proofs by now, but on average in the entries, it should eventually be many more. If an entry grows large and we begin to feel that more elementary discussion should be separated from more advanced discussion, then we can still split it up or do something else about it. But every piece of information is welcome,

4. • CommentRowNumber4.
   • CommentAuthorTodd_Trimble
   • CommentTimeMar 20th 2014
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexI include lots of basic proofs in my own write-ups. This works better for me than writing airily that something is "obvious", only to come back in five years and wonder what the hell I was thinking. :-)

   I include lots of basic proofs in my own write-ups. This works better for me than writing airily that something is “obvious”, only to come back in five years and wonder what the hell I was thinking. :-)

5. • CommentRowNumber5.
   • CommentAuthorspitters
   • CommentTimeMar 20th 2014
   • PermaLink
   Author: spitters
   Format: MarkdownItexIs there any way to fold proofs? And general material for that matter? Texmacs has the possibility, and I am sure, I have seen it in wiki's too.

   Is there any way to fold proofs? And general material for that matter? Texmacs has the possibility, and I am sure, I have seen it in wiki’s too.

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeMar 20th 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexNot currently implemented, no. But I suppose the same trick that makes the pull-down context menus work could be used to make proofs appear only when clicking on them.

   Not currently implemented, no. But I suppose the same trick that makes the pull-down context menus work could be used to make proofs appear only when clicking on them.