Categorical Foundation of Mathematics?

Harvey Friedman hmflogic at
Tue May 17 10:03:53 EDT 2022 offers up

The PNAS article is free at

as an axiomatic treatment of Category Theory.

This is totally unacceptable foundationally, in that it has no prima facie
philosophical coherence and is comparatively extremely complicated compared
to the foundations of set theory.

It has been known for some time that philosophical coherence is not a high
priority among many mathematicians. So given their track record it is best
to leave foundations to the f.o.m. community where it is being handled so

Generally speaking, philosophical coherence is required in order for a
foundational scheme to have any traction in the wider intellectual and
scientific community. Set theory has this, when presented using modern
f.o.m. tools, but anything like that PNAS article certainly does not.

Harvey Friedman

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220517/94220e48/attachment.html>

More information about the FOM mailing list