Compact spaces and distributive lattices
Journal article, 2003

This note presents a general construction connecting compact locales and distributive lattices, that allows us to reduce results about compactness of locales to theorems about distributive lattices. Two applications are given. One noteworthy feature of our arguments is that they can be formulated both in topos theory and in a predicative theory such as CZF.

Author

Thierry Coquand

University of Gothenburg

Journal of Pure and Applied Algebra

0022-4049 (ISSN)

Vol. 184 1 1-6

Subject Categories

Computer and Information Science

DOI

10.1016/S0022-4049(03)00088-4

More information

Created

10/10/2017