Well, what I mean by abstract nonsense is something that purely logic generaliztion without essential application. I've heard of the abstract homotopy theory has solved many essential problems in algebraic geometry, using category language. Thus, sometimes, we could hastely call category theory...