I have toyed with writing my own intro.
A lot of category theory is just identifying that a bunch of similar elementary results across algebra and topology can be stated and proved once in a common framework. The examples in ACC serve to show the different guises the elementary results take in different settings, as well as a source of counterexamples. I would guess this is not to your taste.
The only nontrivial theorems of general interest are the Adjoint Functor Theorems, which give very general existence proofs for universal constructions. For that, the chapter in Saunders Maclane's book is probably better.
Though it could be that none of this is worth your time. Category theory inspires intense enthusiasm from some people, but outside of a few areas of math it's not strictly necessary.
