LINUX.ORG.RU

Информация о пользователе stevejobs

Регистрация

ID: 63780
Nick: stevejobs
Полное имя: Steve Jobs
URL: http://olegchir.com
Город: Новосибирск
Дата регистрации:
Последнее посещение:
Статус: ★★☆☆☆
Избранные теги: android, arch, archlinux, aur, big brother, clojure, common lisp, erlang, erlyvideo, ffmpeg, gentoo, gentoo-based, gentoo-sources, gentoo-way, grails, groovy, java, jvm, lisp, maxcom, mjpeg, ndk, ocaml, pacman, playframework, qulinxao, red5, scala, sql, streaming, streaming video, video, wowza, археология лора, паленый мед, параноиков тред, паранойа, паранойя, параноя

Я пробовал самостоятельно выучить теорию категорий, но не понял, почему при построении категории, где объекты — типы данных, а морфизмы — функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симметричная моноидальная категория (подобно 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

Статистика

Первая созданная тема:
Последняя созданная тема:
Первый комментарий:
Последний комментарий:
Число комментариев: 33195

Раздел Число тем
Новости 16
Форум 1257
Галерея 6

Сообщения пользователя