From this definition it follows That may be a contravariant functor in the category of compact Hausdorff spaces to the class of -algebras (which we've been assuming have identities). Explicitly, a constant functionalityPosted in math.AC, math.AG, math.GN, tagged MaBloWriMo on November 28, 2009is a well-known inference rule (hypothetical syllogism).