Stone functor

In mathematics, the Stone functor is a functor S: TopopBool, where Top is the category of topological spaces and Bool is the category of Boolean algebras and Boolean homomorphisms. It assigns to each topological space X the Boolean algebra S(X) of its clopen subsets, and to each morphism fop: XY in Topop (i.e., a continuous map f: YX) the homomorphism S(f): S(X) → S(Y) given by S(f)(Z) = f−1[Z].

See also

References

  • Abstract and Concrete Categories. The Joy of Cats Archived 2015-04-21 at the Wayback Machine. Jiri Adámek, Horst Herrlich, George E. Strecker.
  • Peter T. Johnstone, Stone Spaces. (1982) Cambridge university Press ISBN 0-521-23893-5
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.