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.
added to differential operator the characterization via bundle maps out of a jet bundle, together with the note that this means that differential operators are equivalently morphisms in the co-Kleisli category of the Jet bundle comonad.
added also pointer to Saunders 89, def. 6.2.22
1 to 2 of 2