From this definition it follows that is a contravariant functor through the category of compact Hausdorff spaces into the class of -algebras (which we have been assuming have identities). Explicitly, a continuous purposeSpecified a variety like we’d like to learn if there’s a normal solution to decompose it into its “components” . These are