Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Некто написал,
> Например, мне было очевидно, что некоторым студентам из computer science
> (посещавшим мой курс для математиков) позарез нужна теория категорий.
> Все имеющиеся книжки/записки аккуратно делятся на два класса: либо примитивно-бесполезные (потому, что написаны непрофессионалами), либо ориентированые на "чистых" математиков и потому неприемлемые из-за отсутствия минимальной математической культуры.

не знаю даже, вообще-то теория типов современная вся построена на теории категорий (очевидно), и там дофига понаписано вот наподобие такого
https://people.mpi-sws.org/~dreyer/courses/catlogic/jacobs.pdf (это очень известная книжка, хотя и более-менее advanced считается)

как введение нравится вот это: https://www.di.ens.fr/users/longo/files/CategTypesStructures/book.pdf

однако я computer science и не шарю наверное


(Читать комментарии)

Добавить комментарий:

Как:
(комментарий будет скрыт)
Identity URL: 
имя пользователя:    
Вы должны предварительно войти в LiveJournal.com
 
E-mail для ответов: 
Вы сможете оставлять комментарии, даже если не введете e-mail.
Но вы не сможете получать уведомления об ответах на ваши комментарии!
Внимание: на указанный адрес будет выслано подтверждение.
Имя пользователя:
Пароль:
Тема:
HTML нельзя использовать в теме сообщения
Сообщение:



Обратите внимание! Этот пользователь включил опцию сохранения IP-адресов пишущих комментарии к его дневнику.