?

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

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

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