Pavel Filippov (emdin) wrote,
Pavel Filippov
emdin

via piggymouse + alexclear

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

  • (no subject)

    Самый интересный для меня итог этих двадцати лет состоит в том, что мотивация для написания текстов не исчезла, но внимание к их качеству,…

  • Webdev 101

    Друзья, чтобы помочь и вам и себе провести время в карантине с пользой, я начал в Телеграме курс по веб-разработке для начинающих. Темы – базовые…

  • для связи - октябрь 2019

    Привет! Меня зовут Павел, я живу в Берлине. Мой профессиональный профиль можно увидеть вот тут: http://linkedin.com/in/emdin. Мой основной блог…

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 3 comments