Groups, rings, modules, and compact Hausdorff spaces have underlying sets ("forgetting" structure) and admit "free" constructions. Moreover, each type of object is completely characterized by the shadow of this free-forgetful duality cast on the category of sets, and this syntactic encoding provides formulas for direct and inverse limits.
- You are here:
- Home