Abstract
M. Barr and M.-C. Pedicchio introduced the category Grids of grids in order to show that the opposite of the category Top of topological spaces is a quasivariety. J. Adámek and M.-C. Pedicchio proved that there exists a duality D between the category TopSys of topological systems (defined by S. Vickers) and the category Grids. In both papers a description of the full subcategory D(Top) of the category Grids is given. In this paper we describe internally all grids isomorphic to the objects of the full coreflective subcategory D(Loc) of the category Grids, i.e. we characterize internally all grids of the form D(C), where C is a localic topological system (here Loc is the category of locales regarded as a full subcategory of TopSys). Since, obviously, the category Frm of frames is equivalent to D(Loc), we can say that in this paper those grids which could be called frames are characterized internally. An internal characterization of all grids which correspond (in the above sense) to the frames having T 1 spectra and a generalization of the well-known fact that the spectrum of a locale is a sober space are obtained as well.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Adámek, J., Herrlich, H. and Strecker, G. E.: Abstract and Concrete Categories, Wiley Interscience, New York, 1990.
Adámek, J. and Pedicchio, M.-C.: A remark on topological spaces, grids, and topological systems, Cahiers Topologie Géom. Différentielle Catég. 38 (1997), 217–226.
Balbes, R. and Dwinger, Ph.: Distributive Lattices, University of Missoury Press, Columbia, MO, 1974.
Barr, M. and Pedicchio, M.-C.: Top op is a quasi-variety, Cahiers Topologie Géom. Différentielle Catég. 36 (1995), 3–10.
Barr, M. and Pedicchio, M.-C.: Topological spaces and quasi-varieties, Appl. Categ. Structures 4 (1996), 81–85.
Borceux, F.: Handbook of Categorical Algebra 3. Categories of Sheaves, Encyclopedia of Mathematics and its Applications, Cambridge University Press, 1994.
Engelking, R.: General Topology, PWN, Warszawa, 1977.
Johnstone, P. T.: Stone Spaces, Cambridge University Press, Cambridge, 1982.
Joyal, A. and Tierney, M.: An Extension of the Galois Theory of Grothendieck, Memoirs of the American Mathematical Society 51, n. 309, 1984.
MacLane, S. and Moerdijk, I.: Sheaves in Geometry and Logic: A First Introduction to Topos Theory, Springer-Verlag, New York, 1992.
Vickers, S.: Topology via Logic, Cambridge University Press, Cambridge, 1989.
Wraith, G. C.: Artin glueing, J. Pure Appl. Algebra 4 (1974), 345–348.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dimov, G.D., Pedicchio, MC. & Tironi, G. Frames and Grids. Applied Categorical Structures 12, 181–196 (2004). https://doi.org/10.1023/B:APCS.0000018237.01585.94
Issue Date:
DOI: https://doi.org/10.1023/B:APCS.0000018237.01585.94