Actually I agree with @_julesh_: I’m not sure the attributions are right. The homotopical interpretation of type theory was independently (perhaps previously) discovered by Hoffman-Streicher, Awodey-Warren, van den Berg-Garner, and others.https://twitter.com/evertedsphere/status/1041225136672653312 …
-
-
there is one exception though: the Airy functions, and only because the physics of rainbows, water droplets in the air.
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.