Presenting locale pullback via directed complete posets (Q1434361)

In their monograph ``An extension of the Galois theory of Grothendieck'', \textit{A.~Joyal} and \textit{M.~Tierney} [Mem. Am. Math. Soc. 309 (1984; Zbl 0541.18002)] exploited the relationship between frames and sup-lattices in order to establish results about change of base for internal locales in toposes, and in particular to establish the descent theorems for open maps of locales and toposes. Ten years later, J. Vermeulen showed how the Joyal-Tierney approach could be formally `dualized' to yield results about proper maps of locales, by exploiting the relation between frames and preframes (the latter being defined as ordered sets having directed joins and finite meets, but not necessarily finite joins). To embed these two theories in a common generalization, one needs to study the `intersection' of the theories of sup-lattices and preframes; that is, the theory of posets having directed joins, commonly known as dcpos. Such a study is provided by the present paper: the author shows how to construct dcpos from presentations, and uses this to construct a pair of adjoint functors between internal dcpos in two toposes connected by a geometric morphism. By regarding frames as `order-internal distributive lattices' in the category of dcpos, he then obtains a presentation for the pullback of a frame along a geometric morphism, paralleling the Joyal-Tierney one using sup-lattices. Applications include the descent theorem for triquotient maps of locales, which was originally proved by T. Plewe and which includes the open and proper descent theorems as particular cases.