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 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 nutsThanks. 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.