Я пробовал самостоятельно выучить теорию категорий, но не понял, почему при построении категории, где объекты — типы данных, а морфизмы — функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симметричная моноидальная категория (подобно Hilb, где объекты — конечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы — линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить.

Последние обновления

Посещение конференции — чеклист

Это статья появилась за распитием пива с друзьями в Академгородке — стало понятно, что лучше её перенести в текстовый вид, дабы не повторять сто раз. Существуют легенды на тему того, что единственный смысл конференции — это найти себе работу покруче за деньги текущего работодателя. Несмотря на внешнюю неэтичность, в этом хотя бы есть смысл. В …

В связи с загруженностью, недоступен как минимум 1 неделю по любым обычным каналам. Если реально что-то нужно, можно писать в телеграм (или смски) на номер +79137734714.

Технопром-2017

По телику показывают Технопром-2017. На сцене собрался круглый стол великих мыслителей русской промышленной революции. Ведущий разражается речью про мощь сибирской школы алгебраистов, и объявляется слово ученику академика Ершова (на самом деле Герасимова, но что не сделаешь для понта), который якобы смог использовать алгебру на практике (sic!) Названный сэр открывает рот и начинает говорить что-то внезапно …