Categorical Foundation of Mathematics?
hmflogic at gmail.com
Tue May 17 10:03:53 EDT 2022
https://cs.nyu.edu/pipermail/fom/2022-May/023293.html 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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the FOM