From this definition it follows that is a contravariant functor with the group of compact Hausdorff spaces to your category of -algebras (which we have been assuming have identities). Explicitly, a continuous operateThe rings we’ll be considering today will be the commutative rings of actual-valued ongoing features over a topological Place with p