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 …
-
Show this thread
-
It feels disrespectful to them and others to name an idea that developed from a community after one contributor. In the future I think I’ll retitle this slide as “basic intuitions” but I’m wondering if there’s a snappy name we can use as a shorthand without mentioning any names?
8 replies 0 retweets 18 likesShow this thread -
Replying to @emilyriehl
After seeing someone mention the Baez-Stone "Rosetta Stone", paper, the "rosetta stone correspondence" doesn't sound so bad, maybe? It seems open-endedly inclusive of further columns, which may or may not be what you want.
3 replies 1 retweet 8 likes -
Replying to @jcreed @emilyriehl
silly: "Rosetta Stone-Cech compactification" less silly: side project: renaming SpecFuns for greater clarity and inclusivity, because 'a passed mathematician's Greek letter function' isn't informative about the properties of the function
1 reply 0 retweets 1 like
there is one exception though: the Airy functions, and only because the physics of rainbows, water droplets in the air.
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.