?

Теория категорий

Ко-тегори теори

Membership:
Open
Posting Access:
All Members , Moderated
Description:
Церковь Свидетелей Локальной Декартовой Замкнутости

Теория категорий (источники)


[1]. http://ncatlab.org/nlab/show/category+theory — вики по широким аспектам теории категорий

[2]. http://ns.synrc.com/publications/cat — мы читаем такие книжки
2-категории, agda, caml, coq, cpl, curry, epigram, f#, haskell, join-calculus, ml, objective caml, λ-исчисление, Аводей и Байер, Асперти и Лонго, Барр и Уэлс, Берг, Вармо Вене, Вольфенгаген, Гоген, Гротендик, Джонстон, Кантор, Карри, Категориальная Абстрактная Машина, Ламбек, МакЛейн, Наброски Слона, Объект Натуральных Чисел, Пирс, Фокинга, Хагино, Хаскель, Цермело и Франкель, аппликативное программирование, геометрия, декартово-замкнутая категория, диалгебры, классификатор, комбинаторная логика, комбинаторы, логика, мета языки, монады, моноид, морфизм, расширения Кана, сопряжения, степень, топосы, умножение, факторизатор, функторы, функциональное программирование, функция

Categories

образование, литература, it, наука

Statistics