The Cauchy problem for D-modules on Ran spaces

We will adopt an elementary approach to D-modules on Ran spaces in terms of two-limits; the aim here is to define the category of coherent D-modules, characteristic varieties and non-characteristic maps. An application will be the proof of the Cauchy-Kowaleski-Kashiwara theorem in this setting.