Community Profile

  • Join
  • Watch
  • Add Note
  • Post
  • Track
  • Send V-Gift
Userpic

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

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

Basic Info
Membership:Open
Posting Access:All Members, Moderated
Description:Околотопологическое басурманское учение о хуе и ко-хуе
About

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


[1]. http://eba.li/cat — теория категорий на одной странице (коллективно)

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

[3]. http://community.livejournal.com/category_theory/2190.html — мы читаем такие книжки
Connect

Interests (55):

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

Owner:

Maintainers (2):

Moderators (2):

Members [View Entries]

Members (107):

Watched by (144):

Create an Account
Forgot your login or password?
Facebook Twitter More login options
English • Español • Deutsch • Русский…