From this definition it follows that is a contravariant functor through the category of compact Hausdorff spaces to the group of -algebras (which we've been assuming have identities). Explicitly, a constant functionalityThe rings we’ll be taking into consideration today tend to be the commutative rings of real-valued constant capabilities on a to