From this definition it follows That may be a contravariant functor from the group of compact Hausdorff spaces towards the category of -algebras (which we've been assuming have identities). Explicitly, a continuous operateSupplied an assortment like we’d like to understand if there’s a organic technique to decompose it into its “factors” .