Я пробывал самостаятельно выучить теорию котегорий, но непонел, почему при построении котегории, где объекты — типы данных, а морфизмы — функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симитричная моноидальная катигория (подобно Hilb, где где объекты — канечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы — линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить.
I tried to independently study the theory of categories, but I didn’t understand why, when constructing a category, where objects are data types and morphisms are functions, from a variant of a typed lambda calculus on combinators we get a closed symmetric monoidal category (like Hilb, where where objects are cannulated Hilbert spaces with the usual tensor product, and the morphisms are linear operators), but not the Cartesian one, which is Set. This led me to a standstill, and I began to drink.
У записи 6 лайков,
1 репостов.
1 репостов.
Эту запись оставил(а) на своей стене Игнат Толчанов
