Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета   Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум    Авторизация         Поиск по указателям Sketches — A supplement for Category theory for computing science Обсудите книгу на научном форуме Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter Название: A supplement for Category theory for computing science Автор: Sketches Язык: Рубрика: Математика/Алгебра/Теория категорий/ Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1996 Количество страниц: 107 Добавлена в каталог: 12.03.2005 Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID Предметный указатель ber      40 bration      39 bration as generalized product      41 eld      3 8 nite cone      12 nite discrete sketch      1 nite limit sketch      12 Accessible category      25 action      45 Arrow between fuzzy sets      72 Arrow category      40 Base category (of a bration)      39 Base category (of an op bration)      45 Binary tree      18 30 Boolean algebra      3 Carrier      80 Cartesian arrow      38 Cartesian closed      58 Category      14 Category object      14 75 Category of fuzzy sets      72 Category of models      33 Characteristic arrow      59 Cleavage      39 CoCone      1 Colimit      62 Compatible family      17 Complemented subobject      65 Complete Heyting algebra      68 Confusion      8 Constant      69 Crisp      74 Crossed product      47 d1/2mon      6 Derived category      55 Discrete opbration      45 Discrete wreath product      53 Disjoint sum      62 Disjoint union      43 Division      55 Domain of a partial arrow      62 ecursive set      64 Effective equivalence relation      61 Effective topos      80 Empty set      73 Equivalence of categories      48 Equivalence relation      60 External functor      76 FD sketch      1 FL sketch      12 FL sketch at CPO      65 Functor category      48 Functor induced by a sketch homomorphism      33 Fuzzy set      72 Graph      66 Grothendieck construction      43 76 Grothendieck topology      67 Groupoid      16 Homomorphism of models      22 Homomorphism of sketches      26 Homomorphism of split opbrations      49 Idempotent      20 Image      26 Indexed set      41 Initial algebra      5 Initial model      5 Initial term algebra      16 Initial term model      16 Initial topos      62 Internal functor      75 Internal language      64 junk      8 Kernel category      55 Kernel pair      23 61 Krohn — Rhodes Theorem      55 LE sketches      12 Left exact sketches      12 Lies over      39 LIST      1 Locally cartesian closed      60 Locally presentable category      13 Model of a sketch      22 33 Model of an FD sketch      1 Model of an FL sketch      12 Modest set      81 Monoid action      55 Natural numbers      2 8 29 Nearly constant presheaf      69 Notational conventions for sketches      13 Op bration      39 46 76 Opcartesian      39 P-valued set      72 Parallel pair      21 Partial arrow      62 Partial arrows representable      62 Partial equivalence relation      81 PER      81 Power object      60 powerset      60 Presheaf      66 Product category      40 Programming language      70 Projection functor      53 Realizability set      80 Realizability topos      80 Record type      30 Recursive function      62 Recursively enumerable      64 Regular category      62 Regular cocone      22 Regular epimorphism      22 62 Regular sketch      22 Restriction functions      67 Right regular representation      53 Satisfy      36 Semantics      57 64 Semidirect product      46 Semigroup      20 Sentence      36 Set-valued functor      66 Shape functor      52 Sheaf      68 Simple graph      14 Sketch      1 22 26 Sketch for categories      14 Sketch for semigroups      20 Slice category      41 Small category      14 Split bration      39 Split opbration      45 76 Splitting      39 STACK      28 Standard wreath product      53 State transition system      55 Structure type      30 Subobject      57 Subobject classier      59 Subobject functor      57 58 Theory of an FL sketch      19 Topos      58 Total category      39 Total order      16 TREE      9 Triangular action      54 True (from 1 to)      59 Universal image      60 Universal model      19 Universal sum      62 variable element      64 Wreath product      52 Реклама        © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024 | | О проекте