i'll try to explain how one may enumerate manifolds endowed with some structure. for example, we may want to list all almost complex or parallelizable manifolds. this problem is too general as posed, so we will work up to cobordism (to be defined). the result will be a very elegant framework which was first explored by r. thom, and now belongs to the toolbox of any self-respecting algebraic topologist.