undefined | Better HN

0 pointstupshin1y ago0 comments

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

0 comments

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.

j / k navigate · click thread line to collapse

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.

j / k navigate · click thread line to collapse