Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета   Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум    Авторизация         Поиск по указателям Rydeheard D.E., Burstall R.M. — Computational category theory Обсудите книгу на научном форуме Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter Название: Computational category theory Авторы: Rydeheard D.E., Burstall R.M. Язык: Рубрика: Математика/Алгебра/Теория категорий/ Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1990 Количество страниц: 263 Добавлена в каталог: 12.03.2005 Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID Предметный указатель 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 Реклама        © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024 | | О проекте