if you write a category/topos theory text, write in in e-prime and avoid the word 'as', please
@graveolens ... because it's difficult to tell if your 'is' is isomorphism or equality and 'as' has me hunting for natural transformations
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
@graveolens ... because it's difficult to tell if your 'is' is isomorphism or equality and 'as' has me hunting for natural transformations