Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Rydeheard D.E., Burstall R.M. — Computational category theory
Rydeheard D.E., Burstall R.M. — Computational category theory



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



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


Название: Computational category theory

Авторы: Rydeheard D.E., Burstall R.M.

Язык: en

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
add_edge      87
Adjunction      130
adj_cocontinuous      42
adj_continuous      142
AND      166
apply      51 158 201
arrow_cat      66
arrow_topos      168
blue      72
Cardinality      25
Cartesian_Closed_Cat      56
cat      48
cat_of_functors      116
cat_of_theories      197
cc_FinSet      159
CHARACTER      161
Closure      207
CoComplete_Cat      81
cocomplete_cat_of_based_objs      200
cocomplete_cat_of_graphs      110
cocomplete_comma_cat      109
cocomplete_finset      90
CoCone      80
CoCone_Arrow      81
CoContinuous_Functor      82
Coequalizer      74
Colimit      81
Colimiting_CoCone      81
colimiting_functor      118
combine      200
Comma_Arrow      105
comma_cat      106
complete_cat_of_graphs      120
complete_FinSet      96
Components_Adj      134
composite_coequalize      181
Coproduct      71
Coproduct_CoCone      71
Countable_Coproduct      145
cross_product      106
Diagram      80
Discrete      134
dotcomp      116
dual_Adj      140
dual_Cat      56
dual_colimit      95
dual_cone      94
dual_diagram      94
dual_Functor      56
dual_graph      94
EDGE      80
emptyset      25
enrich      201
EXISTS      171
Exponential      156
factorize      164
FALSE      165
ffunctor      54
finite_colimit      88
finite_coproduct      84
FinKleisli      52
FinSet      50
fixed_point      150
fixpoint      152
FOR_ALL      171
free_algebra      146
function_space      158
functor      54
Graph      80 147
i      54
IMPLY      166
InitialObj      69
initial_adj      138
IsoCat      145
isoFinSet      148
iso_Graph      149
is_empty      25
iterated_coproduct      145
Just      72
lift_colimit      109
maplist      235
Member      25
NAME      161
Nat_transform      116
Node      80
NOT      165
opr      51
OR      166
pair      95
Parallel_Pair      147
Parallel_Pair_Arrow      147
pink      72
Power      164
PP      147
pp_arrow      147
PullBack_Square      161
Pushout      74
relation_compose      98
Remove      25
ringcomp      116
Set      25
Set_Arrow      49
set_coequalizer      90
set_coproduct      72
set_equalizer      96
set_initial      70
set_product      96
set_terminal      96
Singleton      25
singleton_split      25
Split      25
Star      148
Subobject_Classifier      161
subst      51
Substitution      51
subst_apply      51
sum_coequalize      181
Tag      72 95 157
Term      51
ternary_coproduct      77
Theory      197
Theory_Arrow      197
theory_coproduct      198
Topos      161
topos_of_sets      162
transitive_close      149
true_      161
ttrue      95
UA_to_ADJ      131
unify      185
union      25
unitcat      138
Universal_Adj      130
Universal_Arrow      130
var      51
w_Chain      149
w_CoComplete_Cat      150
w_cocone      150
w_CoCone_Arrow      150
w_Colimit      150
w_Colimiting_CoCone      150
X      54
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте