"Let Top be the category of topological spaces." If I see a definition like this, in which homeomorphic (isomorphic in the category) spaces are not identified together, then for each given topological space, how many times does it show up as an object in Top? Once? Countably many times? Uncountably many times? Is there a semantic crisis if we don't identify all homeomorphic topological spaces to the same object?