I didn’t say I believe in the law of excluded middle ;)https://twitter.com/johncarlosbaez/status/1056226169811390464 …
-
-
Replying to @emilyriehl
Do you have a minute to talk about our saviour, univalence?
1 reply 0 retweets 5 likes -
Replying to @andreasdotorg
Are you asking whether I believe in the univalence axiom? Well of course!
2 replies 0 retweets 2 likes -
Replying to @emilyriehl @andreasdotorg
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.
3 replies 0 retweets 3 likes -
Replying to @emilyriehl @andreasdotorg
In my favorite universe, equalities are interpreted as paths, substitution of equivalent structures makes intuitive sense, and all constructions should be homotopical/continuous/derived.
1 reply 1 retweet 4 likes
Replying to @emilyriehl
I also want transport to be a function I can just call in my programming language of choice.
12:33 PM - 27 Oct 2018
0 replies
0 retweets
1 like
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.
