The four combinations of {true, false} and {&&, ||} give rise to four different semigroups: https://gist.github.com/fthomas/5d13d36e8c6ff64685df … /cc @noelwelsh
-
-
Replying to @fst9000
@fst9000@noelwelsh unclear to me that the two different && implementations are different Semigroups - same set, same op. (Likewise for ||)2 replies 0 retweets 0 likes -
Replying to @avibryant
@avibryant@noelwelsh It is hard to be precise on Twitter. What I wanted to say is that there are 2 semigroups with an id and 2 with a zero1 reply 0 retweets 0 likes -
Replying to @fst9000
@avibryant@noelwelsh from a symmetry POV it is nice that both, true and false, give the semigroups of && and || additional structure1 reply 0 retweets 0 likes -
Replying to @fst9000
@fst9000@noelwelsh yeah, it's a nice observation. I'm asking a (somewhat pedantic) question: are they really different semigroups?2 replies 0 retweets 0 likes
@fst9000 @noelwelsh but in retrospect it's a boring question so never mind :)
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.