- Full text PDF available (18)
The IZA Policy Paper Series publishes work by IZA staff and network members with immediate relevance for policymakers. Any opinions and views on policy expressed are those of the author(s) and not necessarily those of IZA. The papers often represent preliminary work and are circulated to encourage discussion. Citation of such a paper should account for its… (More)
In the context of constructive locale or frame theory (locale theory over a xed base locale), we study some aspects of 'frame distributions', meaning sup preserving maps from a frame to the base frame. We derive a relationship between results of Jibladze-Johnstone and Bunge-Funk, and also descriptions in distribution terms, as well as in double negation… (More)
We prove that certain categories arising from atoms in a Grothendieck topos are themselves Grothendieck toposes. We also investigate enrichments of these categories over the base topos; there are in fact often two distinct enrichments.
In the context of Synthetic Differential Geometry, we discuss vector fields/ordinary differential equations as actions; in particular, we exploit function space formation (exponential spaces) in the category of actions. Vector fields or, equivalently, (autonomous, first order) ordinary differential equations, have long been considered, heuristically, to be… (More)