what if equality wasn't reflexive, like 3=3, but not 1+2=1+2, because 1+2=3 but not 3=1+2.
@ClarkHat @ValueOfType Equality is always symmetric -- ie if 3 = 1+2 then 1+2 = 3 -- but it needn't be true that 1+2 = 2+1 (commutativity)..
-
-
@St_Rev well you stop calling it equality and pronounce it 'reduces to' if you let go of the symmetry property -
@St_Rev It's the category analog of the groupoid interpretation of type theory. -
@ValueOfType oh man I dunno about that crazy theoretical compsci stuff, those guys are nuts
End of conversation
New conversation -
-
-
@ClarkHat@ValueOfType or that (x + y) + z = x + (y + z) (associativity)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.
. Banned in Sweden. SubGenius, Zhuangist, white-hat troll. Defrocked mathematician. Brain problems.