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

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.
Подумать о чисто синтаксическом определении теории категорий, точнее определить предкатегории/протокатегории (объекты и стрелочки) чисто синтаксическом образом на основе нормальных алгоритмов Маркова.

Хроники. 3-я мировая война.

Израиль в очередной раз продемонстрировал с помощью взрывов пейджеров (2700 штук или более 3000 штук в разных источниках) свою еврейскую нехорошую…
Введение в теорию категорий. Паттерны.

Our programming language is broken. That’s why we need design patterns. (с просторов инета от моего френда dobr_i_trezv) Наши языки программирования…
Хроники. 3-я мировая война.

Считаю это очередным символическим этапом эскалации на пути к ядерной войне. Госсекретарь США Энтони Блинкен и министр иностранных дел…