  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.
