>Please point out where somebody genuinely puts an effort to found math on category theory? What about the following: https://ncatlab.org/nlab/show/foundation+

>Please point out where somebody genuinely puts an effort to found math on category theory? What about the following: https://ncatlab.org/nlab/show/foundation+of+mathematics#CFM https://ncatlab.org/nlab/show/foundation+of+mathematics#CFM Even if the meat of the math is not in the categorical aspects of a theory, the categorical input can be useful - if nothing else, then as a convenient language.