Post #1846807

@jonmsterling There is one sense in which univalence is not neutral, namely that it its about the structural view of mathematics. Although I used the term "neutral" in my 7WFTop talk in Venice, I don't think I will ever use it again. It is prone to a lot of misinterpretation. "Neutral" isn't a neutral term, I've learned from the discussion, including discussions I agree and disagree with. In my case, I was thinking in analogy with neutral geometry (Euclidean geometry without assuming the parallel postulate), which is also called "absolute geometry". Thankfully it didn't cross my mind to speak of "absolute mathematics", which would have been even worse.