I recommend the following books, which are similar to Tao's books in that their exercises are very well planned out and form an integral part of the text itself.

• Pinter, "A Book of Abstract Algebra"
• Fong & Spivak 2017, "Seven Sketches in Compositionality:. An Introduction to Applied Category Theory"