Hostname: page-component-586b7cd67f-r5fsc Total loading time: 0 Render date: 2024-11-28T08:47:37.905Z Has data issue: false hasContentIssue false
  • English
  • Français

Two notes on frames

Published online by Cambridge University Press:  09 April 2009

D. Wigner
D. Wigner
Affiliation:
Mathematics Department, 40 Avenue de Recteur Pineau, 86022 Poitiers Cedex, France
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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

Dowker, C. H. and Papert, D. (1966), ‘Quotient frames and subspaces’, Proc. London Math. Soc. 16, 275–296.CrossRefGoogle Scholar
Dowker, C. H. and Strauss, D. P. (1975), ‘Products and sums in the category of frames’, in Categorical topology (Springer Lecture Notes, 540, pp. 208–219).Google Scholar
Dowker, C. H. and Strauss, D. P. (1976), ‘Sums in the category of frames’, Houston J. of Math. 3, 17–32.Google Scholar
Gratzer, G. (1971), Lattice theory—first concepts and distributive lattices (W. H. Freeman and Co., San Francisco).Google Scholar
Isbell, J. R. (1972a), ‘Atomless parts of spaces’, Math. Scand. 31, 5–32.CrossRefGoogle Scholar
Isbell, J. R. (1972b), ‘General functorial Semantics I’, Amer. J. Math. 94, 535–596.CrossRefGoogle Scholar
Maclane, S. (1971), Categories for the working mathematician, Graduate texts in Mathematics 5 (Springer-Verlag, New York).Google Scholar
Nerode, A. (1959), ‘Some Stone spaces and recursion theory’, Duke Math. J. 26, 397–406.CrossRefGoogle Scholar
Shmuely, Z. (1974), ‘The structure of Galois connections’, Pacific J. Math. 54, 209–225.CrossRefGoogle Scholar
Stone, M. H. (1937), ‘Topological representation of distributive lattices and Brouwerian logics’, Casopis Pest. Math. 67, 1–25.Google Scholar