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.
]]>