Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I felt like starting a table infinitesimal and local - table and included it into the relevant entries. So far it reads as follows:
first order infinitesimal object | infinitesimal | $\subset$ | formal = arbitrary order infinitesimal | $\subset$ | local = stalkwise | $\subset$ | finite |
---|---|---|---|---|---|---|---|
derivative | Taylor series | germ | function | ||||
tangent vector | jet | germ of curve | curve | ||||
Lie algebra | formal group | local Lie group | Lie group | ||||
Poisson manifold | formal deformation quantization | local strict deformation quantization | strict deformation quantization |
Can be further expanded, clearly.
I have added two more rows to infinitesimal and local - table (see there) and included it into the relevant entries
1 to 2 of 2