Joins in the Frame of Nuclei |
| |
Authors: | Martín H Escardó |
| |
Institution: | (1) School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK |
| |
Abstract: | Joins in the frame of nuclei are hard to describe explicitly because a pointwise join of a set of closure operators on a complete lattice fails to be idempotent in general. We calculate joins of nuclei as least fixed points of inflationary operators on prenuclei. Using a recent fixed-point theorem due to Pataraia, we deduce an induction principle for joins of nuclei. As an illustration of the technique, we offer a simple (and also intuitionistic) proof of the localic Hofmann–Mislove Theorem. |
| |
Keywords: | frame locale compactness nuclei closure operator common fixed point Hofmann– Mislove Theorem |
本文献已被 SpringerLink 等数据库收录! |
|