Hyland, J. M. E. Function spaces in the category of locales. (English) Zbl 0483.54005 Continuous lattices, Proc. Conf., Bremen 1979, Lect. Notes Math. 871, 264-281 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 ReviewsCited in 19 Documents MSC: 54B30 Categorical methods in general topology 54C35 Function spaces in general topology 06B23 Complete lattices, completions 18B30 Categories of topological spaces and continuous mappings (MSC2010) 03G10 Logical aspects of lattices and related structures 54H12 Topological lattices, etc. (topological aspects) 18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.) Keywords:Cantor space; Baire space; category of sober spaces; category of locales; continuous lattice; Lindenbaum algebras; geometric propositional theories; exponentiability; bar induction; fan theorem Citations:Zbl 0452.00011; Zbl 0191.208; Zbl 0309.54016 PDFBibTeX XML