Synthetic geometry of manifolds:
"This elegant book is sure to become the standard introduction to synthetic differential geometry. It deals with some classical spaces in differential geometry, namely 'prolongation spaces' or neighborhoods of the diagonal. These spaces enable a natural description of some of the basi...
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Cambridge [u.a.]
Cambridge Univ. Press
2010
|
Ausgabe: | 1. publ. |
Schriftenreihe: | Cambridge tracts in mathematics
180 |
Schlagworte: | |
Online-Zugang: | Cover image Inhaltsverzeichnis |
Zusammenfassung: | "This elegant book is sure to become the standard introduction to synthetic differential geometry. It deals with some classical spaces in differential geometry, namely 'prolongation spaces' or neighborhoods of the diagonal. These spaces enable a natural description of some of the basic constructions in local differential geometry and, in fact, form an inviting gateway to differential geometry, and also to some differential-geometric notions that exist in algebraic geometry. The presentation conveys the real strength of this approach to differential geometry. Concepts are clarified, proofs are streamlined, and the focus on infinitesimal spaces motivates the discussion well. Some of the specific differential-geometric theories dealt with are connection theory (notably affine connections), geometric distributions, differential forms, jet bundles, differentiable groupoids, differential operators, Riemannian metrics, and harmonic maps. Ideal for graduate students and researchers wishing to familiarize themselves with the field"--Provided by publisher "This book deals with a certain aspect of the theory of smoothmanifolds, namely (for each k) the kth neigbourhood of the diagonal. A part of the theory presented here also applies in algebraic geometry (smooth schemes). The neighbourhoods of the diagonal are classical mathematical objects. In the context of algebraic geometry, they were introduced by the Grothendieck school in the early 1960s; the Grothendieck ideas were imported into the context of smooth manifolds by Malgrange, Kumpera and Spencer, and others. Kumpera and Spencer call them "prolongation spaces of order k". The study of these spaces has previously been forced to be rather technical, because the prolongation spaces are not themselves manifolds, but live in a wider category of "spaces", which has to be described. For the case of algebraic geometry, one passes from the category of varieties to the wider category of schemes; for the smooth case, Malgrange, Kumpera and Spencer, and others described a category of "generalized differentiablemanifolds with nilpotent elements" (Kumpera and Spencer, 1973, p. 54)"--Provided by publisher |
Beschreibung: | Includes bibliographical references and index |
Beschreibung: | XIII, 302 S. graph. Darst. |
ISBN: | 9780521116732 |
Internformat
MARC
LEADER | 00000nam a2200000zcb4500 | ||
---|---|---|---|
001 | BV035875493 | ||
003 | DE-604 | ||
005 | 20200220 | ||
007 | t | ||
008 | 091209s2010 xxud||| |||| 00||| eng d | ||
020 | |a 9780521116732 |c hardback |9 978-0-521-11673-2 | ||
035 | |a (OCoLC)401146707 | ||
035 | |a (DE-599)BVBBV035875493 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
044 | |a xxu |c US | ||
049 | |a DE-19 |a DE-384 |a DE-355 |a DE-188 |a DE-824 |a DE-703 |a DE-11 | ||
050 | 0 | |a QA641 | |
082 | 0 | |a 516.3/62 |2 22 | |
084 | |a SK 350 |0 (DE-625)143233: |2 rvk | ||
084 | |a SK 370 |0 (DE-625)143234: |2 rvk | ||
100 | 1 | |a Kock, Anders |d 1938- |e Verfasser |0 (DE-588)132017598 |4 aut | |
245 | 1 | 0 | |a Synthetic geometry of manifolds |c Anders Kock |
250 | |a 1. publ. | ||
264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2010 | |
300 | |a XIII, 302 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Cambridge tracts in mathematics |v 180 | |
500 | |a Includes bibliographical references and index | ||
520 | 3 | |a "This elegant book is sure to become the standard introduction to synthetic differential geometry. It deals with some classical spaces in differential geometry, namely 'prolongation spaces' or neighborhoods of the diagonal. These spaces enable a natural description of some of the basic constructions in local differential geometry and, in fact, form an inviting gateway to differential geometry, and also to some differential-geometric notions that exist in algebraic geometry. The presentation conveys the real strength of this approach to differential geometry. Concepts are clarified, proofs are streamlined, and the focus on infinitesimal spaces motivates the discussion well. Some of the specific differential-geometric theories dealt with are connection theory (notably affine connections), geometric distributions, differential forms, jet bundles, differentiable groupoids, differential operators, Riemannian metrics, and harmonic maps. Ideal for graduate students and researchers wishing to familiarize themselves with the field"--Provided by publisher | |
520 | 3 | |a "This book deals with a certain aspect of the theory of smoothmanifolds, namely (for each k) the kth neigbourhood of the diagonal. A part of the theory presented here also applies in algebraic geometry (smooth schemes). The neighbourhoods of the diagonal are classical mathematical objects. In the context of algebraic geometry, they were introduced by the Grothendieck school in the early 1960s; the Grothendieck ideas were imported into the context of smooth manifolds by Malgrange, Kumpera and Spencer, and others. Kumpera and Spencer call them "prolongation spaces of order k". The study of these spaces has previously been forced to be rather technical, because the prolongation spaces are not themselves manifolds, but live in a wider category of "spaces", which has to be described. For the case of algebraic geometry, one passes from the category of varieties to the wider category of schemes; for the smooth case, Malgrange, Kumpera and Spencer, and others described a category of "generalized differentiablemanifolds with nilpotent elements" (Kumpera and Spencer, 1973, p. 54)"--Provided by publisher | |
650 | 4 | |a Geometry, Differential | |
650 | 4 | |a Manifolds (Mathematics) | |
650 | 0 | 7 | |a Differentialgeometrie |0 (DE-588)4012248-7 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Mannigfaltigkeit |0 (DE-588)4037379-4 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Mannigfaltigkeit |0 (DE-588)4037379-4 |D s |
689 | 0 | 1 | |a Differentialgeometrie |0 (DE-588)4012248-7 |D s |
689 | 0 | |5 DE-604 | |
830 | 0 | |a Cambridge tracts in mathematics |v 180 |w (DE-604)BV000000001 |9 180 | |
856 | 4 | |u http://assets.cambridge.org/97805211/16732/cover/9780521116732.jpg |3 Cover image | |
856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018733180&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-018733180 |
Datensatz im Suchindex
_version_ | 1804140852167049216 |
---|---|
adam_text | Contents
Preface
page
ix
Acknowledgements
xiii
1
Calculus and linear algebra
1
1.1
The number line
R
1
1.2
The basic infinitesimal spaces
3
1.3
The KL axiom scheme
11
1.4
Calculus
16
1.5
Affine
combinations of mutual neighbour points
24
2
Geometry of the neighbour relation
27
2.1
Manifolds
27
2.2
Framings and
1
-forms
37
2.3
Affine
connections
42
2.4
Affine
connections from framings
51
2.5
Bundle connections
56
2.6
Geometric distributions
60
2.7
Jets and jet bundles
71
2.8
Infinitesimal simplicial and cubical complex of a manifold
78
3
Combinatorial differential forms
81
3.1
Simplicial, whisker, and cubical forms
81
3.2
Coboundary/exterior derivative
90
3.3
Integration of forms
95
3.4
Uniqueness of
observables
104
3.5
Wedge/cup product
108
3.6
Invotutive
distributions and differential forms
112
3.7
Non-abelian theory of
1
-forms
114
3.8
Differential forms with values in a vector bundle
119
3.9
Crossed modules and non-abelian 2-forms
121
vi
Contents
4
The tangent
bundle
124
4.1
Tangent vectors and vector fields
124
4.2
Addition of tangent vectors
126
4.3
The log-exp bijection
128
4.4
Tangent vectors as differential operators
133
4.5
Cotangents, and the cotangent bundle
135
4.6
The differential operator of a linear connection
137
4.7
Classical differential forms
139
4.8
Differential forms with values in TM
->·
M
144
4.9
Lie bracket of vector fields
146
4.10
Further aspects of the tangent bundle
150
5
Groupoids
154
5.1
Groupoids
154
5.2
Connections in groupoids
158
5.3
Actions of groupoids on bundles
164
5.4
Lie derivative
169
5.5 Deplacements
in groupoids
171
5.6
Principal bundles
175
5.7
Principal connections
178
5.8
Holonomy of connections
184
6
Lie theory; non-abelian covariant derivative
193
6.1
Associative algebras
193
6.2
Differential forms with values in groups
196
6.3
Differential forms with values in a group bundle
200
6.4
Bianchi
identity in terms of covariant derivative
204
6.5
Semidirect products; covariant derivative as curvature
206
6.6
The Lie algebra of
G
210
6.7
Group-valued vs. Lie-algebra-valued forms
212
6.8
Infinitesimal structure of
Шх (е)
Ç G
215
6.9
Left-invariant
distributions
221
6.10
Examples of enveloping algebras and enveloping algebra
bundles
223
7
Jets and differential operators
225
7.1
Linear differential operators and their symbols
225
7.2
Linear
déplacements
as differential operators
231
7.3
Bundle-theoretic differential operators
233
7.4
Sheaf-theoretic differential operators
234
Contents
vii
8
Metric
notions
239
8.1 Pseudo-Riemannian
metrics
239
8.2
Geometry of symmetric
affine
connections
243
8.3
Laplacian (or
isotropie)
neighbours
248
8.4
The Laplace operator
254
Appendix
261
A.I Category theory
261
A.2 Models; sheaf semantics
263
A.3 A simple
topos
model
269
A.4 Microlinearity
272
A.5 Linear algebra over local rings; Grassmannians
274
A.6 Topology
279
A.7 Polynomial maps
282
A.8 The complex of singular cubes
285
A.9
Nullstellensatz
in multilinear algebra
291
Bibliography
293
Index
298
|
any_adam_object | 1 |
author | Kock, Anders 1938- |
author_GND | (DE-588)132017598 |
author_facet | Kock, Anders 1938- |
author_role | aut |
author_sort | Kock, Anders 1938- |
author_variant | a k ak |
building | Verbundindex |
bvnumber | BV035875493 |
callnumber-first | Q - Science |
callnumber-label | QA641 |
callnumber-raw | QA641 |
callnumber-search | QA641 |
callnumber-sort | QA 3641 |
callnumber-subject | QA - Mathematics |
classification_rvk | SK 350 SK 370 |
ctrlnum | (OCoLC)401146707 (DE-599)BVBBV035875493 |
dewey-full | 516.3/62 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 516 - Geometry |
dewey-raw | 516.3/62 |
dewey-search | 516.3/62 |
dewey-sort | 3516.3 262 |
dewey-tens | 510 - Mathematics |
discipline | Mathematik |
edition | 1. publ. |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04098nam a2200493zcb4500</leader><controlfield tag="001">BV035875493</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200220 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">091209s2010 xxud||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521116732</subfield><subfield code="c">hardback</subfield><subfield code="9">978-0-521-11673-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)401146707</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035875493</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA641</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">516.3/62</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 350</subfield><subfield code="0">(DE-625)143233:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 370</subfield><subfield code="0">(DE-625)143234:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kock, Anders</subfield><subfield code="d">1938-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)132017598</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Synthetic geometry of manifolds</subfield><subfield code="c">Anders Kock</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 302 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Cambridge tracts in mathematics</subfield><subfield code="v">180</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">"This elegant book is sure to become the standard introduction to synthetic differential geometry. It deals with some classical spaces in differential geometry, namely 'prolongation spaces' or neighborhoods of the diagonal. These spaces enable a natural description of some of the basic constructions in local differential geometry and, in fact, form an inviting gateway to differential geometry, and also to some differential-geometric notions that exist in algebraic geometry. The presentation conveys the real strength of this approach to differential geometry. Concepts are clarified, proofs are streamlined, and the focus on infinitesimal spaces motivates the discussion well. Some of the specific differential-geometric theories dealt with are connection theory (notably affine connections), geometric distributions, differential forms, jet bundles, differentiable groupoids, differential operators, Riemannian metrics, and harmonic maps. Ideal for graduate students and researchers wishing to familiarize themselves with the field"--Provided by publisher</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">"This book deals with a certain aspect of the theory of smoothmanifolds, namely (for each k) the kth neigbourhood of the diagonal. A part of the theory presented here also applies in algebraic geometry (smooth schemes). The neighbourhoods of the diagonal are classical mathematical objects. In the context of algebraic geometry, they were introduced by the Grothendieck school in the early 1960s; the Grothendieck ideas were imported into the context of smooth manifolds by Malgrange, Kumpera and Spencer, and others. Kumpera and Spencer call them "prolongation spaces of order k". The study of these spaces has previously been forced to be rather technical, because the prolongation spaces are not themselves manifolds, but live in a wider category of "spaces", which has to be described. For the case of algebraic geometry, one passes from the category of varieties to the wider category of schemes; for the smooth case, Malgrange, Kumpera and Spencer, and others described a category of "generalized differentiablemanifolds with nilpotent elements" (Kumpera and Spencer, 1973, p. 54)"--Provided by publisher</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geometry, Differential</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Manifolds (Mathematics)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Differentialgeometrie</subfield><subfield code="0">(DE-588)4012248-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mannigfaltigkeit</subfield><subfield code="0">(DE-588)4037379-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mannigfaltigkeit</subfield><subfield code="0">(DE-588)4037379-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Differentialgeometrie</subfield><subfield code="0">(DE-588)4012248-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in mathematics</subfield><subfield code="v">180</subfield><subfield code="w">(DE-604)BV000000001</subfield><subfield code="9">180</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://assets.cambridge.org/97805211/16732/cover/9780521116732.jpg</subfield><subfield code="3">Cover image</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018733180&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018733180</subfield></datafield></record></collection> |
id | DE-604.BV035875493 |
illustrated | Illustrated |
indexdate | 2024-07-09T22:06:33Z |
institution | BVB |
isbn | 9780521116732 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018733180 |
oclc_num | 401146707 |
open_access_boolean | |
owner | DE-19 DE-BY-UBM DE-384 DE-355 DE-BY-UBR DE-188 DE-824 DE-703 DE-11 |
owner_facet | DE-19 DE-BY-UBM DE-384 DE-355 DE-BY-UBR DE-188 DE-824 DE-703 DE-11 |
physical | XIII, 302 S. graph. Darst. |
publishDate | 2010 |
publishDateSearch | 2010 |
publishDateSort | 2010 |
publisher | Cambridge Univ. Press |
record_format | marc |
series | Cambridge tracts in mathematics |
series2 | Cambridge tracts in mathematics |
spelling | Kock, Anders 1938- Verfasser (DE-588)132017598 aut Synthetic geometry of manifolds Anders Kock 1. publ. Cambridge [u.a.] Cambridge Univ. Press 2010 XIII, 302 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Cambridge tracts in mathematics 180 Includes bibliographical references and index "This elegant book is sure to become the standard introduction to synthetic differential geometry. It deals with some classical spaces in differential geometry, namely 'prolongation spaces' or neighborhoods of the diagonal. These spaces enable a natural description of some of the basic constructions in local differential geometry and, in fact, form an inviting gateway to differential geometry, and also to some differential-geometric notions that exist in algebraic geometry. The presentation conveys the real strength of this approach to differential geometry. Concepts are clarified, proofs are streamlined, and the focus on infinitesimal spaces motivates the discussion well. Some of the specific differential-geometric theories dealt with are connection theory (notably affine connections), geometric distributions, differential forms, jet bundles, differentiable groupoids, differential operators, Riemannian metrics, and harmonic maps. Ideal for graduate students and researchers wishing to familiarize themselves with the field"--Provided by publisher "This book deals with a certain aspect of the theory of smoothmanifolds, namely (for each k) the kth neigbourhood of the diagonal. A part of the theory presented here also applies in algebraic geometry (smooth schemes). The neighbourhoods of the diagonal are classical mathematical objects. In the context of algebraic geometry, they were introduced by the Grothendieck school in the early 1960s; the Grothendieck ideas were imported into the context of smooth manifolds by Malgrange, Kumpera and Spencer, and others. Kumpera and Spencer call them "prolongation spaces of order k". The study of these spaces has previously been forced to be rather technical, because the prolongation spaces are not themselves manifolds, but live in a wider category of "spaces", which has to be described. For the case of algebraic geometry, one passes from the category of varieties to the wider category of schemes; for the smooth case, Malgrange, Kumpera and Spencer, and others described a category of "generalized differentiablemanifolds with nilpotent elements" (Kumpera and Spencer, 1973, p. 54)"--Provided by publisher Geometry, Differential Manifolds (Mathematics) Differentialgeometrie (DE-588)4012248-7 gnd rswk-swf Mannigfaltigkeit (DE-588)4037379-4 gnd rswk-swf Mannigfaltigkeit (DE-588)4037379-4 s Differentialgeometrie (DE-588)4012248-7 s DE-604 Cambridge tracts in mathematics 180 (DE-604)BV000000001 180 http://assets.cambridge.org/97805211/16732/cover/9780521116732.jpg Cover image Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018733180&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Kock, Anders 1938- Synthetic geometry of manifolds Cambridge tracts in mathematics Geometry, Differential Manifolds (Mathematics) Differentialgeometrie (DE-588)4012248-7 gnd Mannigfaltigkeit (DE-588)4037379-4 gnd |
subject_GND | (DE-588)4012248-7 (DE-588)4037379-4 |
title | Synthetic geometry of manifolds |
title_auth | Synthetic geometry of manifolds |
title_exact_search | Synthetic geometry of manifolds |
title_full | Synthetic geometry of manifolds Anders Kock |
title_fullStr | Synthetic geometry of manifolds Anders Kock |
title_full_unstemmed | Synthetic geometry of manifolds Anders Kock |
title_short | Synthetic geometry of manifolds |
title_sort | synthetic geometry of manifolds |
topic | Geometry, Differential Manifolds (Mathematics) Differentialgeometrie (DE-588)4012248-7 gnd Mannigfaltigkeit (DE-588)4037379-4 gnd |
topic_facet | Geometry, Differential Manifolds (Mathematics) Differentialgeometrie Mannigfaltigkeit |
url | http://assets.cambridge.org/97805211/16732/cover/9780521116732.jpg http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018733180&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000000001 |
work_keys_str_mv | AT kockanders syntheticgeometryofmanifolds |