Barr M., Wells C. — Toposes, Triples and Theories :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Barr M., Wells C. — Toposes, Triples and Theories

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

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

Название: Toposes, Triples and Theories

Авторы: Barr M., Wells C.

Язык:

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Regular epimorphic      282
Regular epimorphic family      225
Regular epimorphism      48 89
Regular functor      237
Regular generator      228 293
Regular image      303
Regular monomorphism      48
Regular projective      293
Regular projective generating set      282
Regular projective generator      282 293
Regular ring      275
Regular sketch      274 283
Regular theory      275
Regularly co-well-powered      303
Representable functor      27
Restriction map      77
Retraction      21
Right exact      48
S-separated      224
S-sheaf      224
Saturated      224 234
Section of      242
Sections      78
Separable      262
Separated object      201
Separator      289
Set      1
Set of sorts      155
Sheaf      77 196 202 205
Sheaf of sections      78
Sheafification      82 202
Sheaves      98
Sierpinski space      191
Sieve      223 274
Simplicial object      222
Single-sorted      154
Singleton      88
singleton set      4
Site      224
Skeleton      10
Sketch      144
Slice      172
Slice category      3
Small      1
Solution set condition      58
Source      1 35
Split      109
Split discrete opfibration      219
Split epi      242
Split epimorphism      21
Split monomorphism      21
Split opfibration      223
square brackets      31
SS      242

Stable      224 225
Stable images      242
Stable sups      242
Stable under pullback      48
Stalk      81
Standard      227 262
Strict      186
Strict initial object      228
Structure map      103
Subcanonical      227
Subcategory      2
Subfunctor      25
Subobject      23 32
Subobject classifier      87 177
SUM      47
Support      242
Supports split      242
T-algebra      103
TARGET      1 35
Terminal object      4
Theory      vii 274
Top      1
topology      195
Topos      vii 74 79 165 208 215 221
Torsion theories      197
total      233
Total space      81
TRANSPOSE      54
Triple, vii      96
Tripleable      107 116 155 288 289 293
Twisted arrow category of      9
U-contractible equivalence pair      288
Ultrafilter      282
Ultraproduct      282
UNDER      5
Underlying graph      35
Underlying graph functor      35
Underlying set functor      11
Underlying sketch      145
union      184
Unique lifting property      219
UNIT      55
Universal      224 225
Universal arrow      58
Universal element      27
Upper semilattice      15
VTT      126
Vulgar Tripleability Theorem      126
Weak universal arrow      58
Well powered      65
Well-pointed      238
Yoneda      27
Yoneda embedding      25 26 233
Yoneda map      25 26

1 2

О проекте