Second the Aluffi book. A brilliant treatment of Abstract Algebra from a categorical point of view.