(no subject)

[timelets]

Допустим, я изобрел велосипед/bitcoin. Как это можно изобразить в терминах Теории Категорий?





Все, что я могу изобрести это три штуки и их комбинацию: domain, codomain, arrow. Кроме того, у нас есть простая структура {old -> 2; new ->2}.



Для описания состояния мира после изобретения велосипеда нам надо перемножить эти конструкции.

Допустим, велосипед - это новая стрелка f.

f(0): old domain -> old codomain
f(1): new domain -> old codomain
f(2): new domain -> new codomain

Получается, что в данном случае изобретение велосипеда - это изобретение фанктора.
Неверно, хотя идея соблазнительная.