From this definition it follows that is a contravariant functor from the group of compact Hausdorff spaces to your category of -algebras (which we have been assuming have identities). Explicitly, a constant functionPosted in math.AC, math.AG, math.GN, tagged MaBloWriMo on November 28, 2009is a well-known inference rule (hypothetical syllogism). As