A general Stone-Gel'fand duality

Authors:
J. Lambek and B. A. Rattray

Journal:
Trans. Amer. Math. Soc. **248** (1979), 1-35

MSC:
Primary 18C10; Secondary 46M15, 54B30

DOI:
https://doi.org/10.1090/S0002-9947-1979-0521691-4

MathSciNet review:
521691

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We give a simple characterization of full subcategories of equational categories. If is one such and is the category of topological spaces, we consider a pair of adjoint functors which are represented by objects *I* and *J* in the sense that the underlying sets of and are and . (One may take *I* and *J* to have the same underlying set.) Such functors always establish a duality between Fix *FU* and Fix *UF*. We study conditions under which one can conclude that *FU* and *UF* are reflectors into Fix *FU* and Fix *UF*, that Fix *FU* = Image *F* = the limit closure of *I* in and that Fix *UF* = Image *U* = the limit closure of *J* in . For example, this happens if (1) is a limit closed subcategory of an equational category, (2) *J* is compact Hausdorff and has a basis of open sets of the form , where and are unary -operations, and (3) there are quaternary operations and such that, for all if and only if or . (The compactness of *J* may be dropped, but then one loses the conclusion that Fix *FU* is the limit closure of *I*.) We also obtain a quite different set of conditions, a crucial one being that *J* is compact and that every *f* in , *n* finite, can be uniformly approximated arbitrarily closely by -operations on *I*. This generalizes the notion of functional completeness in universal algebra. The well-known dualities of Stone and Gelfand are special cases of both situations and the generalization of Stone duality by Hu is also subsumed.

**[1]**Richard F. Arens and Irving Kaplansky,*Topological representation of algebras*, Trans. Amer. Math. Soc.**63**(1948), 457–481. MR**0025453**, https://doi.org/10.1090/S0002-9947-1948-0025453-6**[2]**Bernhard Banaschewski and Evelyn Nelson,*Boolean powers as algebras of continuous functions*, Proceedings of the Lattice Theory Conference (Ulm, 1975) Univ. Ulm, Ulm, 1975, pp. 138–145. MR**0429693****[3]**Garrett Birkhoff,*Lattice theory*, Third edition. American Mathematical Society Colloquium Publications, Vol. XXV, American Mathematical Society, Providence, R.I., 1967. MR**0227053****[4]**P. Freyd,*Algebra valued functors in general and tensor products in particular*, Colloq. Math.**14**(1966), 89–106. MR**0195920**, https://doi.org/10.4064/cm-14-1-89-106**[5]**Leonard Gillman and Meyer Jerison,*Rings of continuous functions*, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto-London-New York, 1960. MR**0116199****[6]**George Grätzer,*Universal algebra*, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto, Ont.-London, 1968. MR**0248066****[7]**Karl Heinrich Hofmann and Klaus Keimel,*A general character theory for partially ordered sets and lattices*, American Mathematical Society, Providence, R.I., 1972. Memoirs of the American Mathematical Society, No. 122. MR**0340129****[8]**Tah-kai Hu,*Stone duality for primal algebra theory*, Math. Z.**110**(1969), 180–198. MR**0244130**, https://doi.org/10.1007/BF01110209**[9]**Tah Kai Hu,*On the topological duality for primal algebra theory*, Algebra Universalis**1**(1971/72), 152–154. MR**0294218**, https://doi.org/10.1007/BF02944971**[10]**J. R. Isbell, Top*and its adjoint relatives*, General Topology and Its Relation to Modern Algebra (Proc. Kanpur Topological Conf.), 1968, pp. 143-154.**[11]**John R. Isbell,*General functorial semantics. I*, Amer. J. Math.**94**(1972), 535–596. MR**0396718**, https://doi.org/10.2307/2374638**[12]**Klaus Keimel and Heinrich Werner,*Stone duality for varieties generated by quasi-primal algebras*, Recent advances in the representation theory of rings and 𝐶*-algebras by continuous sections (Sem., Tulane Univ., New Orleans, La., 1973), Amer. Math. Soc., Providence, R.I., 1974, pp. 59–85. Mem. Amer. Math. Soc., No. 148. MR**0360411****[13]**L. Kučera and Z. Hedrlin,*A universal extension theorem for structures and full embedding theorem for categories*, Prague, 1969 (manuscript).**[14]**J. Lambek and B. A. Rattray,*Localization at injectives in complete categories*, Proc. Amer. Math. Soc.**41**(1973), 1–9. MR**0414651**, https://doi.org/10.1090/S0002-9939-1973-0414651-5**[15]**J. Lambek and B. A. Rattray,*Localization and sheaf reflectors*, Trans. Amer. Math. Soc.**210**(1975), 279–293. MR**0447364**, https://doi.org/10.1090/S0002-9947-1975-0447364-0**[16]**J. Lambek and B. A. Rattray,*Localization and duality in additive categories*, Houston J. Math.**1**(1975), no. 1, 87–100. MR**0404389****[17]**J. Lambek and B. A. Rattray,*Functional completeness and Stone duality*, Studies in foundations and combinatorics, Adv. in Math. Suppl. Stud., vol. 1, Academic Press, New York-London, 1978, pp. 1–9. MR**520551****[18]**F. William Lawvere,*Functorial semantics of algebraic theories*, Proc. Nat. Acad. Sci. U.S.A.**50**(1963), 869–872. MR**0158921****[19]**F. E. J. Linton,*Some aspects of equational categories*, Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965) Springer, New York, 1966, pp. 84–94. MR**0209335****[20]**F. E. J. Linton,*Applied functorial semantics. I*, Ann. Mat. Pura Appl. (4)**86**(1970), 1–13 (English, with Italian summary). MR**0285583**, https://doi.org/10.1007/BF02415703**[21]**Lynn H. Loomis,*An introduction to abstract harmonic analysis*, D. Van Nostrand Company, Inc., Toronto-New York-London, 1953. MR**0054173****[22]**Saunders MacLane,*Categories for the working mathematician*, Springer-Verlag, New York-Berlin, 1971. Graduate Texts in Mathematics, Vol. 5. MR**0354798****[23]**Joan W. Negrepontis,*Duality in analysis from the point of view of triples*, J. Algebra**19**(1971), 228–253. MR**0280571**, https://doi.org/10.1016/0021-8693(71)90105-0**[24]**Joan Wick Pelletier,*Examples of localizations*, Comm. Algebra**3**(1975), 81–93. MR**0376803**, https://doi.org/10.1080/00927877508822034**[25]**A. Pultr,*The right adjoints into the categories of relational systems*, Reports of the Midwest Category Seminar, IV, Lecture Notes in Mathematics, Vol. 137, Springer, Berlin, 1970, pp. 100–113. MR**0263897****[26]**Charles E. Rickart,*General theory of Banach algebras*, The University Series in Higher Mathematics, D. van Nostrand Co., Inc., Princeton, N.J.-Toronto-London-New York, 1960. MR**0115101****[27]**Heinrich Werner,*Eine Charakterisierung funktional vollständiger Algebren*, Arch. Math. (Basel)**21**(1970), 381–385 (German). MR**0269574**, https://doi.org/10.1007/BF01220934

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
18C10,
46M15,
54B30

Retrieve articles in all journals with MSC: 18C10, 46M15, 54B30

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1979-0521691-4

Keywords:
Stone and Gelfand duality,
operational and equational categories,
adjoint functors,
topological and uniform algebras,
Weierstrass theorem and functional completeness

Article copyright:
© Copyright 1979
American Mathematical Society