From this definition it follows That may be a contravariant functor with the category of compact Hausdorff Areas to the group of -algebras (which we've been assuming have identities). Explicitly, a constant functionOffered a range like we’d like to find out if there’s a purely natural way to decompose it into its “parts” . These aren’t it