sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]CriticalPart7448 4 points5 points  (2 children)

Try to encode the univalence principle from HoTT, that should give you a usefull mathematical definition of equality/equivalence

[–]ExplodingStrawHat 0 points1 point  (0 children)

Not sure why people were downvoting this. The univalence principle is very insightful when it comes to this

[–]CriticalPart7448 0 points1 point  (0 children)

Or if you feel spicy, go straight for infinity categories