The four combinations of {true, false} and {&&, ||} give rise to four different semigroups: https://gist.github.com/fthomas/5d13d36e8c6ff64685df … /cc @noelwelsh
@fst9000 @noelwelsh unclear to me that the two different && implementations are different Semigroups - same set, same op. (Likewise for ||)
-
-
@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 zero -
@avibryant@noelwelsh from a symmetry POV it is nice that both, true and false, give the semigroups of && and || additional structure -
@fst9000@noelwelsh yeah, it's a nice observation. I'm asking a (somewhat pedantic) question: are they really different semigroups? -
@fst9000@noelwelsh but in retrospect it's a boring question so never mind :)
End of conversation
New conversation -
-
-
@fst9000@noelwelsh the identity and absorbing elements exist whether you choose to highlight them in the type or not, right?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.