(no subject)

Допустим, я изобрел велосипед/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

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

TIL: liberals and conservatives in the US after the 1980s

Before the 1980s, if you knew which party an American voted for, you couldn’t predict very well whether the person held liberal or conservative views.



[Now] Liberals and conservatives dress differently, decorate their rooms differently, read different books, take different vacations and drink different alcoholic beverages.

https://www.washingtonpost.com/news/wonk/wp/2015/01/07/the-top-10-reasons-american-politics-are-worse-than-ever