Presenting locale pullback via directed complete posets

Authors:
C. F. Townsend
Affiliations:
Department of Pure Mathematics, Open University, Walton Hall, Milton Keynes MK7 6AA, UK
Venue:
Theoretical Computer Science - Logic, semantics and theory of programming
Year:
2004

Citing 4
Cited 0

Information systems for continuous posets

Theoretical Computer Science
Domains for Denotational Semantics

Proceedings of the 9th Colloquium on Automata, Languages and Programming
Strongly algebraic = SFP (topically)

Mathematical Structures in Computer Science
A universal characterization of the double powerlocale

Theoretical Computer Science - Logic, semantics and theory of programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper shows how to describe the pullbacks of directed complete posets (dcpos) along geometric morphisms. This extends Joyal and Tierney's original results on the pullbacks of suplattices. It is then shown how to treat every frame as a dcpo and so locale pullback is described in this way. Applications are given describing triquotient assignments in terms of internal dcpo maps, leading to pullback stability results for triquotient maps. The main application here shows how dcpo maps between frames can be described in terms of certain external natural transformations.