You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
The fact that it's possible to directly formalize the world of homotopy types without reducing everything to sets.
If someone was interested in augmenting human intelligence with computers, say, maybe they would be interested in reducing the mismatch between human mathematical thoughts and their formal representation on computers.
Plenty of work does this without category theory.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
