Presenting locale pullback via directed complete posets

DOI10.1016/J.TCS.2004.01.032MaRDI QIDQ1434361zbMATH OpenOpenAlexFDO

Publication date 4 August 2004

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2004.01.032

change of base dcpos generators and relations lattice theory locale theory open maps proper maps topos theory triquotient

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Frames, locales (06D22) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Topoi (18B25) Enriched categories (over closed or monoidal categories) (18D20) Lower separation axioms ((T_0)--(T_3), etc.) (54D10)

Review text

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.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Presenting locale pullback via directed complete posets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1434361)