top | item 42317335

(no title)

tupshin | 1 year ago

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

https://www.quora.com/Are-there-any-axioms-for-category-theo...

discuss

order

red_trumpet|1 year ago

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

sylware|1 year ago

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