Hostname: page-component-848d4c4894-75dct Total loading time: 0 Render date: 2024-05-26T22:40:14.079Z Has data issue: false hasContentIssue false

Localic triquotient maps are effective descent maps

Published online by Cambridge University Press:  01 July 1997

TILL PLEWE
Affiliation:
Department of Computing, Imperial College, London SW7 2AZ, e-mail: tp5@doc.ic.ac.uk

Abstract

Triquotient maps of topological spaces were introduced by E. Michael as a natural generalization of both open and proper surjections. We introduce the notion of localic triquotient map. Our main result is that localic triquotient maps are effective descent maps. This generalizes the corresponding results for proper surjections (J. Vermeulen) and open surjections (A. Joyal and M. Tierney). Further results concern stability of triquotiency under various operations, for instance, arbitrary products and filtered (inverse) limits. Among the applications are a new constructive proof of Tychonoff's theorem, and a new result on stability of open surjections under filtered limits.

Type
Research Article
Copyright
Cambridge Philosophical Society 1997

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)