With Category Theory, Mathematics Escapes from Equality (2019)
To the folks in this thread who think they know better than researchers at the forefront of foundational mathematics: I encourage you to learn type theory, and especially homotopy type theory. In doing so, you&#x27;ll be forced to confront the various notions of judgmental and propositional equality. You&#x27;ll see why it&#x27;s useful to have a formal justification for treating isomorphic objects as equal (this is called &quot;univalence&quot;), which is something you may have even been doing informally&#x2F;subconsciously all along.<p>In particular, homotopy type theory is a type theory, which means it looks like a programming language. So people here might find it a bit more familiar than, say, higher category theory. It&#x27;ll be much easier if you know functional programming, so you may need to learn that first if you haven&#x27;t already.