Re:With Category Theory, Mathematics Escapes from Equality (...
by spekcular on Sunday March 27, 2022 @02:18AM
(#30818155)
Thanks. I enjoyed the article you linked. I think the description on page 16 is a good summary of what most people working in foundations take the purpose of foundations to be.
[ Parent
| on HN ]
There are no comments on this comment yet.