Hacker News Reader

I've found the best layman's grounding for Category theory's relationship to axioms to be in Bartosz's post here:

That's a nice post, and it actually reinforces my thoughts: You already need a foundational theory before coming to category theory.

Well... then set theory with core logic still THE foundation then.