News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.