Learn More
Domain theoretic understanding of databases as elements of powerdomains is modified to allow multisets of records instead of sets. This is related to geometric theories and classifying toposes, and(More)
If X is a locale then its valuation locale VX has for its points the valuations on X. V is the functor part of a strong monad on the category of locales, a localic analogue of the Giry monad. It is(More)
This paper is largely a review of known results about various aspects of geometric logic. Following Grothendieck’s view of toposes as generalized spaces, one can take geometric morphisms as(More)