We define a notion of morphism for quotient vector bundles that yields both a category QVBun and a contravariant global sections functor C : QVBun → Vect whose restriction to trivial vector bundles with fiber F coincides with the contravariant functor Top → Vect of F -valued continuous functions. Based on this we obtain a linear extension of the adjunction between the categories of topological ...

ASD (Abstract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same category as the original space, with an associated lambda-calculus. In this paper, this is shown to be equivalent to a notion of computable basis for locally compact sober spaces or locales, involving a family...

we show that in {bf zf} set theory without choice, the ultrafilter mbox{principle} ({bf up}) is equivalent to several compactness theorems for alexandroff discrete spaces and to rudin's lemma, a basic tool in topology and the theory of quasi-continuous domains. important consequences of rudin's lemma are various lift lemmas, saying that certain properties of posets are inherited by th...

the aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. all values aretaken in a fixed frame $l$. a definition of (strongly) completelydistributive $l$-ordered sets is introduced. the main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $l$-ordereds...

Abstract This article considers Victorian concerns about the rise of secret drinking amongst respectable women. These new, apparently dangerous, practices were blamed on licensed grocers and even railway station refreshment rooms. Understandings different male female natures went hand in glove with anxieties potential effects drinking. That alcohol might be consumed secret, at home, triggered s...

On the evening of the first day of the session the members present dined together at the Avenue House and a very enjoyable hour was spent. The next meeting of the Section will take place during the spring of the current year, of which due notice will be given. THERE is a region of mathematical thought which might be called the fairyland of geometry. The geometer here disports himself in a way w...