|
|
|
|
|
|
by n4r9
568 days ago
|
|
|
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. |
|
|