I didn’t say I believe in the law of excluded middle ;)https://twitter.com/johncarlosbaez/status/1056226169811390464 …
-
-
Are you asking whether I believe in the univalence axiom? Well of course!
-
Though we should take a moment to reflect on what “believing in an axiom” really means. I think of it as defining the universe in which you want to live.
-
In my favorite universe, equalities are interpreted as paths, substitution of equivalent structures makes intuitive sense, and all constructions should be homotopical/continuous/derived.
-
I also want transport to be a function I can just call in my programming language of choice.
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.
