Set theory for category theory — mentioned by IngoBlechschmid

Fri, 18 Mar 2022 09:39:54 GMT

Working category theorist here. I wouldn't subscribe to that statement in this strong form, even though I am convinced that various flavors of type theory are a better foundation for mathematics. But this feature doesn't make me despise ZF set theory. In fact, ZF set theory is a beautifully elegant theory. I love it for studying sets. It's just not my favorite foundation. Additionally to the reasons listed by my siblings, many important results in category theory cannot be adequately formalized in ZF for size reasons. Too often, we have to or want to deal with results concerning categories…

Paper and discussion history. A mention is not an endorsement.

Set theory for category theory · HackerPapers discussions

Set theory for category theory — mentioned by IngoBlechschmid