deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Category:

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

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

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 2 comments