|
![blank](/z.gif) |
Авторизация |
|
![blank](/z.gif) |
Поиск по указателям |
|
![blank](/z.gif) |
|
![blank](/z.gif) |
|
![blank](/z.gif) |
![Красота](/img/main/14.jpg) |
|
![blank](/z.gif) |
|
MacLane S., Moerdijk L. — Sheaves in Geometry and Logic |
|
![blank](/z.gif) |
Предметный указатель |
Opposite functor 180
Orbit 81
Order (in a topos) 455ff
Orthogonal group 34
Pair (axiom) 332 338
Partial order 49
Partial order, internal 199
Pasting 454
Pasting lemma 16
Paths to truth 39 99
Perfect set 524 Ex. 8
Petit topos 414
Plus construction 129 227
Point of a locale 473 476
Point of a topos 378ff 521
Point of a tree 336
Point of an object 333
Pointwise (limit) 22 30
Pontrjagin duality 480
POSET 49 278ff
Poset, complete 56
Power object 162
Power object as a Ha 201
Power object in slice 190
Power set 277 332 339
Predicate 165
Predicate of equality 166
Predicate, calculus 302
Predicate, membership 165
Preserves, colimits 22
Preserves, covers 409 507
Preserves, exponentials 171
Preserves, limits 22 170
Presheaf 25 66 121
Presheaf, constant 48 104
Presheaf, internal 244
Presheaf, separated 67 129
Prime element 474
Prime ideal 117
Prime proper 474
Principal action 81 422
Principal filter 257
Principal G-bundle 81 421
Principal ideal 590
Principal sieve 70 220
PRODUCT 14
Product of coalgebras 251
Product of topoi 265 Ex. 8 417 15
Product, cartesian 14
Product, fibered 14 15 29
Projection 14
Projection of product 14
Projection of pullback 15
Projection, formula 204 500
Projection, functor 386
Projection, internal-formula 206
Projective object 216 Ex. 15
Projective object, internally 216 Ex. 16 344
Proof, constructive 302
Proper action 103 Ex. 3 158
Proper filter 344 Ex. 4
Property (in a topos) 165
Propositional calculus 48ff
Propositional connectives 48 296
Propositional language 570 Ex. 7
Pseudo-complement 54
Pullback 14 29
Pushout 17 40
Quantifiers 57ff 296 300
Quantifiers, restricted 332
Quasi-inverse 14
Quotients 573
Quotients, ring of 119
Radical (of an ideal) 116
Rational function 117
Rationals, object of 320
Real number (in a topos) 318ff
Recursion 269
Reduced product (of topoi) 265 Ex. 10
Reductio ad absurdum 302
Refine 112 410
Reflect order 371
Reflect somorphisms 179
Reflective subcategory 90
Reflexive pair 179 373
Representable functor 26 33
Representable presheaf 26
Restricted Zermelo 332
Restriction 25 65
Riemann surface 82
Right adjoint 17
Right C-objects 244
Right ideal (in a monoid) 35
Rigid (tree) 335
Ring 437
Ring of fractions 119
Ring, fp 438
Ring, object 437
Ring, polynomial 439
Ringed space 78 97
Root (of a tree) 335
Schemes 597
Schizophrenic object 480
Scott, D. 283
Section 60 78 79 88
Semantics 296ff
Semantics, Kripke — Joyal 302ff
Semantics, sheaf 315ff
Semilattice (internal) 188
Separated object 223
Separated presheaf 67 129
Sets, large 12
Sets, small 12
Sets, through time 25
Sheaf 64 66 122 223
Sheaf for a basis 69
Sheaf of cross-sections 79 524
Sheaf of germs 94
Sheaf of groups 95
Sheaf of modules 97
Sheaf, associated 87 128 133 227
Sheaf, condition 122
Sheaf, constant 135 104 319
Sheaf, equivariant 594 600
Sheaf, locally constant 104 Ex. 5
Sheaf, semantics 315ff
Sheaf, structure 75 125
Sheafification 87 227
Sierpinski space 466 Ex. 2 479 570
Sieve 37 70 109
Sieve, closed 140
Sieve, covering 70 110
Sieve, maximal 38
Sieve, principal 70 220
simplex 27 450
Simplex, singular 27 450
Simplex, standard 450 452 459
Simplicial category 450
Simplicial object 26
Simplicial set 27 450ff
Singleton arrow 166
Singular cohomology 420
Singular complex 452 454 460
Singular homology 452
Singular simplex 27 460
Site 110 112
Site for continuous G-sets 152
Site of finite type 519
Site, construction of a 578
Site, syntactic 553ff
| sketches 598
Skyscraper sheaf 93
Slice category 12 26
Slice category of a topos 190ff
Small category 12
Small set 12
Smooth function 75
Smooth manifold 75
Smooth map 76
Sntactic category 553ff
Sntactic site 553ff
Sober space 475
Solovay, R.M. 283
sort 297 527
Soundness Theorem 559
Source of a term 298
Souslin property 288
Space, affine 119
Space, ringed 78
Space, sober 475
Spatial locale 478
Split 333
Split, coequalizer 63 Ex. 11
Split, fork 182
Stability axiom 110 112
Stable (under p.b.) 61
Stable (under p.b.), coproduct 572
Stalk 84
Stalk, functor 92 93
Stalk, map 92
Standard simplex 450 452 459
Steenrod algebra 421
Stiefel manifold 34 421
Stone, duality 50 181 479 515
Stone, space 515
String (of arrows) 511
Structure sheaf 75 117 125
Subfunctor 36
Sublocale 483
Sublocale, closed 486
Sublocale, open 486
Subobject 11
Subobject classifier 32 162
Subobject classifier as Ha 201
Subobject classifier for coalgebras 254
Subobject classifier for G-objects 240
Subobject classifier for M-sets 35
Subobject classifier for presheaves 38
Subobject classifier for sheaves 98 142 225ff
Subsheaf 67 142 145
Subspace topology 482
Supremum 145
Surjection of locales 481
Surjection of topoi 366
Tangent, bundle 77
Tangent, vector 76
Tensor product 356ff
Tensor product of group actions 361
Tensor product of rings 107
Tensor-hom adjunction 357ff
Term (of a sort) 527
Terminal object 14 30
Terms (of a language) 298
Tertium non datur 5 55
Theory in a language 529
Theory, algebraic 538
Theory, geometric 537
Time till truth 36
Top element 198
Topoi 48
topology 219
Topology, 115 272
Topology, atomic 115 126 152 467
Topology, canonical 126 488
Topology, coarsest 113
Topology, dense 115 272 590
Topology, double negation 272
Topology, finer 113 263
Topology, Grothendieck 110 222 233
Topology, Lawvere — Tierney 219ff
Topology, open cover 113
Topology, subcanonical 126 552
Topology, sup 115
Topology, trivial 113
Topology, Zariski 117
Topos 48 161
Topos of coalgebras 251
Topos, Boolean 270 311
Topos, Cohen 278 318
Topos, coherent 519
Topos, gros 325ff 414
Topos, Grothendieck 127
Topos, localic 470ff 488
Topos, non-degenerate 275
Topos, over sets 351 392
Topos, petit 414
Topos, Zariski 445ff
Torsion product 381
Torsor 423ff
Transformation, covering 107
Transformation, natural 13
Transitive G-action 81 422
Transitive set 335
Transitivity axiom (for topology) 110 112
Transitivity, weak 156 Ex. 2
TRANSPOSE 163 299
TREE 335ff
Triangular identities 19
Triple 176
Tripleability theorem 372
True (arrow) 32 163
True in a topos 301
Truth 301
Truth, values 31 32
Twist map 198 592
Two-valued topos 256 274
Types (of a language) 298 527
Ultra-product (of topoi) 265 Ex. 10
union 48 187 332 338
Unit (of adjunction) 18
Universal 14
Universal arrow 18
Universal cohomology class 420
Universal cone 21
Universal G-bundle 423
Universal G-torsor 428
Universal model 433 566ff
Universal monic 32
Universal object 437
Universal order 463
Universal ring 445
Universal validity 301
Universe (Grothendieck-) 12 558
Upward closure 336 486
Validity 301 529 532
Variables 296
Variety, affine 116
Vector, bundle 80
Vector, field 77
Vertex of a cone 385
Vertex of a simplex 450ff
Vertex, sets 458
Well-founded 335
Well-pointed topos 236 275 333ff
Well-powered 32
Wraith, G. 265 Ex. 9
Yoneda, embedding 26 109
Yoneda, lemma 26
Zariski, site 116ff
Zariski, topology 117
|
|
![blank](/z.gif) |
Реклама |
![blank](/z.gif) |
|
|