Kock A. — Synthetic Differential Geometry :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Kock A. — Synthetic Differential Geometry

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

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

Название: Synthetic Differential Geometry

Автор: Kock A.

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

,       253
      13
      25
$D_{\infty}$       22
$R[\varepsilon]$       5
      183
$U_{\infty}$       210 216 295
$\alpha$       4
$\bar{I}$ (= W-radical)      254
$\beta$       5
$\eta$       63
$\gamma$       5
$\hat{I}$ (= germ radical)      229
$\lambda$ -conversion      151
$\mathbb{H}$       255
$\mathbb{R}$       200
$\oplus_{\infty}$       221
$\pi$ (augmentation)      88
$\Sigma^{-1}(B\{\Sigma^{-1}\})$       221
$\tilde{D}(p,q)$       93
$\varepsilon$ -stability      196
$\vDash$       135
$\vdash_{X, A}$       169
A-covering      173
A-element      169
Abstract etaleness notion      121
Affine scheme      62
Archimedean ring      199
atom      119 188
Axiom      1 2 3 4 13 28 91
Axiom 2      62
Axiom 3      119
Axiom A      202
Axiom B (= Axiom $1^W_{\mathbb{R}}$ )      202
Axiom B2      265
Axiom C      208
Axiom D (= Axiom $3_{\mathbb{R}}$ )      214
B      217 230
Base point of tangent vector      33
Boundary      79 84
Cahiers topos      253 281
Cartesian closed      1 303
Centered at      226 254
Characteristic function      206
Coboundary      80 113
Cochain, cubical      77 125
Cochain, simplicial      113
Comprehending      164
Covering      173 300
Creating      102
Cubical cochain      77 125
Current      77
D      2
D(n)      25
D-etale      99
density      170
deRham complex      124
Derivation      57
Derivative      9
description      146
Differential form      74 76
Directional derivative      50
distribution      68
Dual numbers      4
Eilenberg — MacLane complex      124
Element (generalized)      135
Etale      99
Etaleness notion      121
Extension      144
Fermat's Axiom      12
FGU      183 296
FHT      62 183 296
Fibre      164
Finitely presented algebra      61
First integral      51
Flat      255
Formal manifold      101
Formal-etale      101
Formally real ring      198 228
Generalized element      135
Generators      169

Geometric formula/sentence      179
Geometric theory      180
Germ      224
Germ-algebra      229
Germ-determined      229
Germ-radical      229
Global element      135
H      276
Hadamard's lemma      71 203 218
Horn, hom      62 154 183
Imaginary points      190
incidence      132
indexed      164
Infinitesimal linearity      28
Infinitesimal object      89
Infinitesimal transformation      40
integral      51 70
Integration axiom      70
interval      70
Lie bracket      46
Lie module      58
Line      2
Liouville vector field      44
Local character      229
Manifold      200
Maurer — Cartan form      115
Mf      200
Mf'      258
Milnor's exercise      224
Monad      22 25 105
n-tangent      75
Neighbour      29 49
Normalized cochain      113
Nullstellensatz      266
Open (co-)cover      208 238
Open inclusion      121 237
Partial derivative      17
Plane      2
Plot smooth      260
Point determined      225
Positivstellensatz      279
Preorder      70
Pretopology      173 300
Principal part      36
Proper monic/exact      298
Proper vector field      49
Property W,       19 20 45
Pythagorean ring      198
R      2
Rectangle reflecting      78
Reflexive object      64
Representing from the outside      252
Satisfaction      138
Separably (real-) closed      198
Sheaf      301
simplex      108
Simplicial object slope      108
slope      3
Smooth characteristic function      206
Smooth topos      251 253
Space      2
Spec      62
Stable      141 184 196
Stably cartesian closed      162
Stage of definition      135
Strongly etale      206
Subcanonical      302
Symmetric Functions Property      19
Tangent bundle/space/vector      33
TM,       34
Topological density      174
Topology (Grothendieck)      173
Topos      301
Transversal pull-back      200
U,       295
Vector field      39
Vector form of Axiom 1      23
w      253
W-radical      254
Weil algebra      88
Yoneda map construction principle      146
Z(J)      228

О проекте