I suppose the first one on a number of people's minds is moduli spaces. More specifically, we can in Top form a moduli space (of curves, say), but not in the category of schemes. Thus stacks were born...