Article contents
Two notes on frames
Published online by Cambridge University Press: 09 April 2009
Abstract
The coproduct of two frames A, B (equivalently the product of two locales, see Isbell (1972a)) will be shown to be given by the lattice of Galois connections between A and B (the connection product in the sense of Isbell (1972b)). We show the inverse limit of a direct system of locales to be given by the set inverse limit of the underlying lattices under the bonding antimaps (see Dowker and Strauss (1975)). This implies the existence of infinite locale products.
- Type
- Research Article
- Information
- Journal of the Australian Mathematical Society , Volume 28 , Issue 3 , November 1979 , pp. 257 - 268
- Copyright
- Copyright © Australian Mathematical Society 1979
References
- 7
- Cited by