Bare categories do not give much insight in pure mathematics either, it's just a common language; interesting things are categories with lots of extra structure

Bare categories do not give much insight in pure mathematics either, it's just a common language; interesting things are categories with lots of extra structure like toposes, derived categories, infinity-categories, and so on.