69 research outputs found

    A Universal Characterization of the Double Powerlocale

    Get PDF
    This is a version from 29 Sept 2003 of the paper published under the same name in Theoretical Computer Science 316 (2004) 297{321. The double powerlocale P(X) (found by composing, in either order,the upper and lower powerlocale constructions PU and PL) is shown to be isomorphic in [Locop; Set] to the double exponential SSX where S is the Sierpinski locale. Further PU(X) and PL(X) are shown to be the subobjects P(X) comprising, respectively, the meet semilattice and join semilattice homomorphisms. A key lemma shows that, for any locales X and Y , natural transformations from SX (the presheaf Loc

    On the parallel between the suplattice and preframe approaches to locale theory

    Get PDF
    AbstractThis paper uses the locale theory approach to topology. Two descriptions are given of all locale limits, the first description using suplattice constructions and the second preframe constructions. The symmetries between these two approaches to locale theory are explored. Given an informal assumption that open locale maps are parallel to proper maps (an assumption hinted at by the underlying finitary symmetry of the lattice theory but not formally proved) we argue that various pairs of locale theory results are ‘parallel’, that is, identical in structure but prove facts about proper maps on one side of the pair and about open maps on the other. The pairs of results are: pullback stability of proper/open maps, regularity of the category of compact Hausdorff/discrete locales, and theorems on information systems. Some remarks are included on a possible formalization of this parallel as a duality

    Local law-of-the-wall in complex topography: a confirmation from wind tunnel experiments

    Get PDF
    It is well known that in a neutrally-stratified turbulent flow in a deep constant-stress layer above a flat surface, the variation of the mean velocity with respect to the distance from the surface obeys the logarithmic law (the so-called ``law-of-the-wall''). More recently, the same logarithmic law has been found also in the presence of non flat surfaces. It governs the dynamics of the mean velocity (i.e. all the smaller scales are averaged out) and involves renormalized effective parameters. Recent numerical simulations analyzed by the authors of the present Letter show that a more intrinsic logarithmic shape actually takes place also at smaller scales. Such a generalized law-of-the-wall involves effective parameters smoothly depending on the position along the underlying topography. Here, we present wind tunnel experimental evidence confirming and corroborating this new-found property. New results and their physical interpretation are also presented and discussed.Comment: 9 pages, (Latex), 4 figure

    Environmental Design for Patient Families in Intensive Care Units

    Full text link

    Preframe techniques in constructive locale theory

    No full text
    SIGLEAvailable from British Library Document Supply Centre-DSC:DXN018027 / BLDSC - British Library Document Supply CentreGBUnited Kingdo
    • …