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

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

blank
blank
blank
Красота
blank
Barr M., Wells C. — Toposes, Triples and Theories
Barr M., Wells C. — Toposes, Triples and Theories



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



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


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

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

Язык: en

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$Cat(\mathscr{E})$      218
-divisible      277
2-valued      238
AB      3 24 47
Absolute coequalizer      110
Absolutely closed      202
AC      242
Adjoint      54 56 59 99 152
Adjoint functor theorem      59
Adjoint transpose      54
Adjoint triple      138
Adjoint tripleable      138
Algebraic theory      154
Application      18
arrow      1
Arrow category      9
Arrow congruence      10
arrows      34 35
Associated sheaf functor      202
atom      15
atomic      15
Axiom of Choice      242
Barr's Embedding Theorem      269
Beck conditions      91
Beck's Theorem      115
Beck, Jon      62
Birkhoff's theorem      288
Boolean      193 237 245
Boolean algebra      15
Boolean topos      240
Butler's Theorem      137
CABA      15
Canonical      227
Canonical underlying functor      307
Cartesian closed      180 181
Categorical theory      vii
Category      1 8 162
Category object      217
Category of Abelian groups      3 15 62 196
Category of groups      1 3 13 16 48 49 69 104 126
Category of models      281
Category of sets, ix      1 15 242 302
Category of topological spaces      1
Change of base space      82
Classifying topos      280
Coalgebras      105
Cocone induced by      274
Cocontinuous      48
Codomain      1
Coequalizer      47
Cogenerating set      65
Cograph      8
Coherent      253
Coherent family      241
Coherent sketch      280
Coherent theory      280 283
Colimit      47 302
Comma category      13
Commutative cone      36
Commutative cone over D based on T      29
Commutative diagram      3
Commute      3
Commute serially      84 111
Compatible      299
complete      15 37
components      16 36
Composite      1 235
Cone      34
Congruence      51
Connected      10
Connected diagrams      44
Connected graph      44
Conservative generator      228
continuous      39
Contractible      109
Contractible coequalizer      109
Contractible coequalizer pair      110
Contravariant functor      11
Contravariant hom functors      12
Coproduct      47
Cotriple      100
Counit      55
Covariant      12
Covariant functor      11
Cover      224
creates      42
Crible      223
Crude Tripleability Theorem      126
CTT      126
Defined over      19
Deligne's Theorem      253
Dense      150
Descent type      107
Designated finite limits      39
Diagram      35
Diagram of type      35
Direct image      82
Discrete      37
Discrete category      63
Discrete opfibration      223
Distributive law      296
Domain      1
Domain of variation      20
Dual      5
Duskin's Theorem      289
Effective descent type      107
Effective epimorphic family      225
Effective equivalence      89
Effective equivalence relation      51
Ehresmann — Kennison Theorem      147
Eilenberg — Moore comparison functor      105
Element      25 29
Element free      3
Element of      19
Empty path      66
Epi      21
Epi-mono factorization      183
EPIC      21
Epimorphic family      224
Epimorphism      21 53 242
Equalizer      39 84
Equational theory      67 158
EQUIVALENCE      13
Equivalence pair      288
Equivalence relation      40 50 89
Equivalent      23
Essentially small      253
Evaluation map      75
Exact      141
Exact category      51 237
Exact functor      237
Exponential      180
Factorization system      187
Factors through      22
Faithful      11
Fiber      81 222
Fiber product      30
Fibration      218
Filter      282
Filtered      158
Filtered colimit      67 158
Filtered diagram      67
Finite diagram      35
Finite products      38
Finite-sum sketch      278
Finitely complete      37
Flabby      98
Forgetful functor      11
FP theory of groups      143
FP-category      143
FP-sketch      145 283
FP-theory generated by S      151
free      105
Free group      12 28 97
Free triple      306
Freyd's Embedding Theorem      241
FS-sketch      278
FS-theory      278
full      3 11
Function      7
functor      11
Functor category      17 74 75
G-coalgebra      105
Generator      228 293
GENERIC      280
Generic element      20
Geometric morphism      83 208 215 233
Geometric sketch      279
Geometric theory      279 283
Germ      81
Giraud sieve      234
Giraud topology      234
Giraud's Theorem      228
Global element      23
Global section      242
Global support      179 242
Godement's rules      19
Graph      8 34
Grothendieck topology      224
Grothendieck topos      229 233 253 268 269
Group      38 39 143
Groupoid      63
Grp      1 49
Has finite limits      38
Has products      38
Heyting algebra      191
Homomorphism      35
Homotopy types      2
Homset      1
IAC      242
Idempotent      195
Idempotent triple      217
Identity      1
Identity property      8
Image      183 188
Index graph      35
Inflationary      195
Initial object      5 186
Injective      77
Internal axiom of choice      242
Internal functor      218
Intersection      184
Intuitionistic logic      190
Inverse      4
Isomorphic      13
Isomorphism      4
j-closed      196
j-dense      196
j-separated      201
Jointly monic      45 288
Kan extension      60
Kan extensions      222
Kernel pair      40 89
Kleisli category      103
LE-category      156
LE-functor      156
LE-sketch      156 283
LE-theory      156
Left $\mathscr{C}$-object      218
Left adjoint      54
Left exact      38 42
Left exact cotriple      208
Left exact triple      212
Left Kan extension      60
Lex total      233
Lifting      297
LIMIT      36
Limit slice      244
Linton's Theorem      302
Locally small      1
LOGICAL      175
Logical category      242
MAP      1
Model      145 274
Model category      281
Monic      21
Mono      21
Mono square      85
Monomorphism      21
Morphism      1 145
Morphism of sites      224
Morphism of triples      128
Natural equivalence      16
Natural number object      255
Natural transformation      16 27 35
Near exact      237
NNO      255
nodes      35
Object      1
Objects      34 35
Opfibration      222
Opposite category      5
Order-preserving      195
Orthodox semigroup      287
Over      3
P      170
Parallel pair      108
Pare's Theorem      170
Path      66
Path category      67
PE-structure      254
Peano property      260
Peano system      255
Point      280
Pointed      126
Pointed endomorphism structure      254
POINTS      268
Pointwise construction of adjoints      56
POSET      2 38
Power object      73 165 170 172
Powerful epi      243
powerset      12 28
Pre-FS-theory      278
Pre-geometric theory      279
Precise Tripleability Theorem      116
Preorder      10
Preregular theory      274
Preserves      11 42 75
Presheaf      77 224
Pretopos      237
PRODUCT      37
Product of categories      3
Product projection      37
Projections      14 37
Projective      293
Projective generator      293
Projective sketch      144
PTT      117
Pullback      30 84
Pullback diagram      30
Pun      141 222
Quotient category      10
Refines      223
Reflective      64
Reflector      64
Reflects      11 42
Reflects isomorphisms      108
Reflexive      112
Reflexive coequalizer      112
Regular category      48
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте