Я пробовал самостоятельно выучить теорию категорий, но не понял, почему при построении категории, где объекты — типы данных, а морфизмы — функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симметричная моноидальная категория (подобно Hilb, где объекты — конечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы — линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить.
ФИО: Чирухин Олег Владимирович
website: olegchir.com
email: hedin.pr@gmail.com
habrahabr: https://habrahabr.ru/users/olegchir/topics
facebook: https://www.facebook.com/olegchir
linkedin: http://ru.linkedin.com/in/olegchir
telephone: +79137734714