|
|
Авторизация |
|
|
Поиск по указателям |
|
|
|
|
|
|
|
|
|
|
Johnstone P.T. — Topos Theory |
|
|
Предметный указатель |
Rowe, K.A. 87
Schlomiuk, D. xiii
Schumacher, D. 334 345
Scott, D.S. 213
Semilattice 296
Sequent 201
Serre, J.P. xi
Sheaf 9 13 81
Sheaf of sections 11
Sheaf, associated 11 90
Sheaf, constant 20
Sheaf, G-equivariant 20
Sieve 13
Sieve, epimorphic 20
Signature 153 199
Simplicial object 48
Singleton map 27
Site 13
Skolem, T. 228
Space, Cantor 256
Space, extremally disconnected 162
Space, separable 162
Space, sequential 21
Space, Sierpinski 19
Space, sober 230
Space, spectral 248
Space, Stone 283
Space, zero-dimensional 162
Spectrum 206
Stalk 10
Stout, L.N. 220
Street, R. xix 209
Strict functor 5
Strict functor, initial object 42
Subobject classifier 23
Subobject, closed 77
Subobject, complemented 138
Subobject, dense 77
Support functor 140
Support, global 143
Supports split 141
Surjection 103
Swan, R.G. 220
Syntactic category 243
Tarski, A. 34 160 222 312
Tensored over <? 342
Theory, algebraic 192
Theory, geometric 201
Theory, internal algebraic 195
Thiele, E.J. 313
Tierney, M. xiv xvi 23 24 28 35 40 54 76 92 96 104 139 203 320 322 324 329
topology 76
Topology, canonical 15
| Topology, closed 94
Topology, double-negation 139
Topology, Grothendieck 13
Topology, join 99
Topology, maximal 14
Topology, minimal 14
Topology, open 94
Topology, precanonical 238
Topology, quasi-closed 252
Topology, sub-canonical 15
Topos 23
Topos, -modelled 205
Topos, Boolean 138
Topos, classifying 117 203
Topos, coherent 235
Topos, connected 134
Topos, defined over 113
Topos, degenerate 107
Topos, elementary 23
Topos, etale 22
Topos, Grothendieck 15
Topos, locally connected 134
Topos, noetherian 257
Topos, Sierpinski 117
Topos, spatial 232
Topos, two-valued 314
Topos, well-pointed 314
Torsor 117 281
Transitive object 304
Transversal 291
Two-valued model 322
Two-valued model, topos 314
Ultrafilter 319
Ultrapower 320
Universal closure operation 77
Universal closure operation, colimit 16
Universally epimorphic 20
Universally epimorphic, valid 155
Van Osdol, D.H. xiii
Verdier, J.L. xii
Vertex group 280
Volger, H. xiii 303
Walters, r.f.c. 209
Weakly filtered 66
Weil, A. xi
Well-ordered object 159
Wraith, G.C. xiv xvi 107 109 112 172 173 182 189 192 195 197 222 282
Wyler, O. xix
Yoneda profunctor 61
Yoneda, N. 2 280
Zariski, O. xi
Zermelo set theory 312
Zermelo, E. 312
Zisman, M. 6
|
|
|
Реклама |
|
|
|