On: With Category Theory, Mathematics Escapes from Equality (2019)

[openfuture]

There is such a notion. You write a number on the equality sign saying essentially how many operations can be performed so 1+2 is equal to 3 if that number is larger than 0 (the special case of 0 is reflexivity, i.e. true equality). This is used a lot in some computer science stuff I've seen.

[VirusNewbie → openfuture]

thanks for letting me know, do you know if there's a term for that notation?