×

Function spaces in the category of locales. (English) Zbl 0483.54005

Continuous lattices, Proc. Conf., Bremen 1979, Lect. Notes Math. 871, 264-281 (1981).

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.)