![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Теория категорий и споры в ЖЖ
ЖЖ - великолепный источник примеров логических ошибок, которые становятся очевидными, когда их переводишь в термины теории категорий. Особенно полезны высказывания троллей, потому что они раздувают срачи за счет сознательного или бессознательного создания путаницы.
Например, человек пишет:
Если мы даже поверхностно (но логично) попробуем описать события в Сирии, то станет очевидно, что это не игра, а, например, война. Тролль в неявном виде задает функтор F: War -> Game, что позволяет ему увести беседу в логически неверную, но психологически понятную категорию.
Например, человек пишет:
Но вот прямо сейчас Обама проигрывает в Сирии Путину.
Если мы даже поверхностно (но логично) попробуем описать события в Сирии, то станет очевидно, что это не игра, а, например, война. Тролль в неявном виде задает функтор F: War -> Game, что позволяет ему увести беседу в логически неверную, но психологически понятную категорию.