what if equality wasn't reflexive, like 3=3, but not 1+2=1+2, because 1+2=3 but not 3=1+2.
@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 -
-
-
@ValueOfType Sometimes indicated with an arrow, although that clashes with standard homological-algebra-style notation.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.