I have always sworn by Borceux' Handbook of Categorical Algebra. It progresses smoothly all the way from first principles up to (if you buy all three volumes) sheaves and topoi, but it is kind of expensive.