No label defined (Q4692389)
From MaRDI portal
scientific article; zbMATH DE number 194434
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 194434 |
Statements
5 June 1993
0 references
synthetic differential geometry
0 references
intuitionistic logic
0 references
Kock-Lawvere axiom
0 references
Weil algebras
0 references
tangent bundles
0 references
vector fields
0 references
differential forms
0 references
connections
0 references
parallel transport
0 references
torsion
0 references
curvature
0 references
