I think the gradual approach is good, even if you have some familiarity with abstract algebra. Experienced readers might feel a little bored at first, but I still think that's a good sign overall.
I think the gradual approach is good, even if you have some familiarity with abstract algebra. Experienced readers might feel a little bored at first, but I still think that's a good sign overall.
Do you think it's a good approach to skip to chapter 8+, and come back to the first ones if we're missing something? Or do these first chapters still bring something to people with math education?
As the sibling comment notes, if you skip too far ahead, the technical material will make you very well aware of that fact. But I think chapter 8 is a good place to jump in -- the material up to that point is mostly setting up intuitions and analogies. I think those are important to pick up, but they're also the kind of thing you pick up from sufficient exposure to mathematics of any flavor, so there's no harm.
Chapters 9 through 13 show how lots of other things can be seen as categories, so if you're already aware of some of them from undergrad math, you're probably good to go.