ABSTRACTS

 B. Banaschewski Baire sets versus the Boolean reflection of sigma-frames: We present an analysis of the relation between the sigma-field BX of Baire sets of a Tychonoff space X (= the sigma-field of subsets of X generated by Coz X, the sigma-ring of cozero sets of X) and the abstractly given Boolean sigma-frame reflection of Coz X. M. M. Clementino Lawvere completeness for lax proalgebras (Joint work with D. Hofmann): In this talk, using the approach to quasi-uniform spaces as lax proalgebras, in the sense of [2], we will show that Cauchy-completeness can be viewed as (categorical) Lawvere-completeness (as detailed in [1]) and we will generalize Salbany's completion monad [3]. References: [1] M.M. Clementino and D. Hofmann, Lawvere completeness in Topology, Appl. Categ. Structures 17 (2009), 175-210. [2] M.M. Clementino, D. Hofmann and W. Tholen, One setting for all: metric, topology, uniformity, approach structure, Appl. Categ. Structures 12 (2004), 127-154. [3] S. Salbany, The completion monad and its algebra, Comment. Math. Univ. Carolin. 23 (1982), 301-311. J. Gutiérrez García On extended real-valued functions in pointfree topology (Joint work with J. Picado, in progress): We continue the development of the localic theory of real-valued functions, recently introduced by Gutiérrez García, Kubiak and Picado [Localic real-valued functions: a general setting, Journal of Pure and Applied Algebra 213 (2009) 1064-1074]. In this talk we intend to present our last results in the study of extended real-valued functions in this setting. D. Hofmann An unnatural duality: In this talk we extend the notion of complete distributivity from ordered sets to (topological) spaces. Furthermore, we construct a dual adjunction between topological spaces and completely distributive spaces and relate this to the "traditional" adjunction between spaces and frames. N. Marcus On atomless Boolean algebras: In this talk we shall discuss some atomless Boolean algebras obtained by way of topological spaces introduced by Husek [2, 3] in his study of Herrlich's notion of k-compactness [1]. References: [1] H. Herrlich, Fortsetzbarkeit stetiger Abbilungen und Kompaktheidsgrad topologisher Raume, Math. Zeitschr. 96 (1967) 64-72. [2] M. Husek, On a problem of H. Herrlich, Comment. Math. Univ. Carolin. 9 (1968) 571-572 [3] M. Husek, The class of k-compact spaces is simple, Math. Z. 110 (1969) 123-126. P. Resende Stably Gelfand quantales: The notion of Gelfand quantale introduced by Mulvey is part of an attempt to characterize the quantales that arise from C*-algebras. In this talk I will show that a stronger notion, that of stably Gelfand quantale, of which the quantales of C*-algebras are still examples, has very interesting properties both in connection with C*-algebras and their relation to groupoids via convolution of C*-algebras, and in connection with notions of sheaf on quantales. An involutive quantale Q is stably Gelfand if it satisfies the condition aa*a \leq a <=> aa*a=a for all a in Q. The first appearance of this axiom, for involutive quantaloids, is in a paper of Dale Garraway who calls such quantaloids pseudo-rightsided. A. H. Roque Descent in categories of models of a binary relational implication: We characterize descent morphisms in categories of models of a binary relational implication and give sufficient conditions for these morphisms to be of effective descent..