It's not controversial in terms of correctness, but it is still a bit controversial in terms of whether it's worth the effort? See all those "but does this hel

It's not controversial in terms of correctness, but it is still a bit controversial in terms of whether it's worth the effort? See all those "but does this help me get results for existing problems?" type questions. There have always been mathematicians that prefer to first establish more structure vs those that just want to get down to business. Category theory especially in the past really pushed the envelope on the "more structure" side of things, inflaming those old tensions.