ot frenkel.
that seems to be par for the course, i'd say, from what i've seen of the graduate texts in mathematics series, for example. although i can think of one example where brevity suggests "i'm bored with this subject." a "zing" from serge lang's "algebra", the chapter on homology:
Exercises.
Take any book on homological algebra, and prove all the theorems without looking at the proofs given in the book.
Homological algebra was invented by Eilenberg-MacLane. General category theory (i.e. the theory of arrow-theoretic results) is generally known as abstract nonsense (the terminology is due to Steenrod).