[FOM] Foundations Crucial

[David Roberts]

On 1 March 2014 04:51, Harvey Friedman <hmflogic at gmail.com> wrote:
> Doesn't recent work indicate^[citation needed] that using the category of all categories in a
> category theoretic environment is just as seriously flawed as was using
> naive set theory, without its fundamental accompanying foundational work?

Please give a reference for this, even if vague. Also, please point to
people seriously using CCAF as their claimed foundation in recent
years (say past two decades, to be generous).

Best regards,

David