![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/d/d2/Stone_functor.svg/640px-Stone_functor.svg.png&w=640&q=50)
Stone functor
Functor in category theory / From Wikipedia, the free encyclopedia
In mathematics, the Stone functor is a functor S: Topop → Bool, 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: X → Y in Topop (i.e., a continuous map f: Y → X) the homomorphism S(f): S(X) → S(Y) given by S(f)(Z) = f−1[Z].
![]() | This article may be too technical for most readers to understand. (February 2024) |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d2/Stone_functor.svg/320px-Stone_functor.svg.png)