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)
We take some first steps in providing a synthetic theory of distributions. In particular, we are interested in the use of distribution theory as foundation, not just as tool, in the study of the wave equation.