> Category theory is probably the epitome of what I'm talking about. Isn't it somewhat disturbing that what we can ground so much mathematics in something that so closely resembles a structure in the human mind?
No. First of all, it resembles a structure human minds can hold, not most structures human minds invent. It took work to get to category theory, thousands of years of it. Also, if the human mind didn't contain some small kernel of ability to accurately generalize from the real world, it wouldn't function as a living creature's mind, so we can trust, in the sense of a proof of existence, that evolution built us to reason correctly sometimes.
No. First of all, it resembles a structure human minds can hold, not most structures human minds invent. It took work to get to category theory, thousands of years of it. Also, if the human mind didn't contain some small kernel of ability to accurately generalize from the real world, it wouldn't function as a living creature's mind, so we can trust, in the sense of a proof of existence, that evolution built us to reason correctly sometimes.