Post #1815100

@hallasurvivor - Various people have argued that "topological space" is a kind of big tent, or compromise, that people chose to handle a number of quite different tasks. I forget who these people are, but it sounds true. I'm glad Scholze is trying to map out the different tasks and propose substitutes optimized for these different tasks. I'm afraid this is going to be tough. For you - or maybe him? - locales are obviously THE right thing to consider if you're doing pointset topology. But those hidebound traditionalists, the pointset topologists, may cling to working with spaces that are sets of points. 😏 But never mind them. What's an animus, exactly? Is it supposed to be some more mystical-sounding synonym for infinity-groupoid or homotopy type, or is it something more specific?