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 Also nonassociative algebras, eg Lie algebras https://en.wikipedia.org/wiki/Associative_property#Non-associativity …
-
-
@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 -
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.