Skip to main content
2 of 2
Link (to a website that pirates copyrighted works according to a prominent MO user) removed
Todd Trimble
  • 53.3k
  • 6
  • 205
  • 322

Corollary 4.1.(i) in Johnstone's book Stone Spaces states that the category of realcompact spaces is dual to the full subcategory of the category of commutative rings consisting of rings of the form C(X). The functor C implements the duality.

The category of compact CW-complexes embeds into the category of realcompact spaces as a full subcategory, hence the functor C is fully faithful.

Dmitri Pavlov
  • 37.8k
  • 4
  • 97
  • 183