[barfbagginus]

If you're dealing with those kinds of people, make demands that they begin studying category theory. I'm talking the hard stuff - categories for the working mathematician, toposes triples and theories, sketches of an elephant, McCurdy's 2012 paper on graphical methods for Tanaka reconstruction, and Roman's 2019+ work on coend calculus and diagrammatic optics.

If they do it, if they actually learn categories, then you need to shut the f** up and let them live. They now have the power to do what they want. If they refuse to learn categories then you get to laugh at them and tell them that they are cringe, and fire them.

And if you don't have the power to just fire them for not learning categories, then you very likely need to learn categories yourself! And also gain the power to fire people, lol! There is no rational point to ever complain about a programmer, when you can just fire them instead.