From this definition it follows That could be a contravariant functor in the group of compact Hausdorff Areas to your category of -algebras (which we have been assuming have identities). Explicitly, a continuous operateThe rings we’ll be thinking about now tend to be the commutative rings of genuine-valued constant capabilities on a topological R