News for hackers. Stuff that matters.
Re:Getting Started with Category Theory by n4r9 on Wednesday December 04, 2024 @08:16AM (#42317122)
Yeah, I deliberately avoided using the word "foundation" as I wasn't too confident about that. But I believe it makes sense to say that category theory and set theory both seek to formalise and generalise much of mathematics? Even if the first is more of a sort of framework than a foundation.

There are no comments on this comment yet.