Документ взят из кэша поисковой машины. Адрес оригинального документа : http://lib.mexmat.ru/books/1046
Дата изменения: Unknown
Дата индексирования: Sun Apr 10 01:43:45 2016
Кодировка: Windows-1251
Pierce B.C. - Basic category theory for computer scientists :: Электронная библиотека попечительского совета мехмата МГУ
 
Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Pierce B.C. - Basic category theory for computer scientists
Pierce B.C. - Basic category theory for computer scientists

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Basic category theory for computer scientists

Автор: Pierce B.C.

Аннотация:

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.


Язык: en

Рубрика: Математика/Алгебра/Теория категорий/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1991

Количество страниц: 100

Добавлена в каталог: 12.03.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$(\Omega,E)$-Alg      4
$D_{\infty}$      32 61-72
$\lambda$-calculus      32 53-57 61 73 75 78 79
$\lambda$-calculus, algebraic treatment of      55
$\lambda$-theory      55
$\Omega$-Alg      4
$\Omega$-algebra      4
$\omega$-category      70
$\omega$-chain      63
$\omega$-colimit      63
$\omega$-complete      66
$\omega$-complete pointed category      70
$\omega$-complete pointed partial order      66
$\Omega$-homomorphism      4
$\omega$-sequence      66
$\omega^{op}$-chain      63
$\omega^{op}$-limit      63
0      5
1      5
2      5
2-category      79
3      6
Abstract machine, categorical      57 77
AcyclicGraph      52
Adjoint      47
Adjoint pair      47
Adjoint, left      47
Adjoint, right      47
Adjunction      47
Adjunction, co-unit of      48
Adjunction, colimit as      49 51 52
Adjunction, coproduct as      52
Adjunction, exponentiation as      50-51
Adjunction, floor and ceiling functions as      51
Adjunction, initial object as      49
Adjunction, limit as      49 51 52
Adjunction, List functor as      46-48
Adjunction, product as      49
Adjunction, strongly connected components as      51
Adjunction, terminal object as      52
Adjunction, unit of      47
Algebra, $\Omega$-      4
Algebra, anarchic      41
Algebra, carrier of      4
Algebra, category-sorted      58
Algebra, F-      40 63
Algebra, free      60
Algebra, initial      16 60
Algebra, many-sorted      58
Algebra, term      16
Algebra, universal      5 78
Algebraic semantics      59 60
Algebraic theory      60 75
Algebraic treatment of $\lambda$-calculus      55
Algol 60      59
Anarchic algebra      41
Arity      4
arrow      1
Arrow category      9
Arrow over C      9
Arrow, injection      19
Arrow, inverse      15
Arrow, mediating      18 21
Arrow, projection      18
Associative law      1
Automata theory      78
Behavior-of functor      52
Bifunctor      38
Block structured programming languages      78
CAM      57 77
Cardinality (foundational issues)      38
Carrier (of an algebra)      4