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 filled a general-abstract definition into Lie differentiation. Mainly I took the key points from the beginning of Formal moduli problems and reviewed them a notation somewhat more streamlined to Lie-theoretic reasoning. Then I added an indicaton of how differential cohesion fits in. More should be added to the entry.
I’ll see how much time and energy I have left.
1 to 1 of 1