ЖЖ - великолепный источник примеров логических ошибок, которые становятся очевидными, когда их переводишь в термины теории категорий. Особенно полезны высказывания троллей, потому что они раздувают срачи за счет сознательного или бессознательного создания путаницы.
Например, человек
пишет:
Но вот прямо сейчас Обама проигрывает в Сирии Путину.
Если мы даже поверхностно (но логично) попробуем описать события в Сирии, то станет очевидно, что это не игра, а, например, война. Тролль в неявном виде задает функтор F: War -> Game, что позволяет ему увести беседу в логически неверную, но психологически понятную категорию.