Равенство, эквивалентность, изоморфизм.

[deep_econom]

https://en.wikipedia.org/wiki/Equality_(mathematics)
https://en.wikipedia.org/wiki/Equational_logic

Барри Мазур. Когда одно равно другому? (2007)
Barry Mazur. When is one thing equal to some other thing?
https://people.math.harvard.edu/~mazur/preprints/when_is_one.pdf

https://ru.wikipedia.org/wiki/Мазур,_Барри

ps.
Подумать о чисто синтаксическом определении теории категорий, точнее определить предкатегории/протокатегории (объекты и стрелочки) чисто синтаксическом образом на основе нормальных алгоритмов Маркова.