[FOM] Eradicating Evil?

[Urs Schreiber]

On 10/29/14, Harvey Friedman <hmflogic at gmail.com> wrote in small part:

> [...] as long as your categories have sets of objects, you’ll be able
> to talk about equality of those objects. But I don’t see any way to
> solve that unless your foundational axioms are really about the
> 2-category of categories

No, to solve this one just needs to have foundational axioms that are
at least about the 2-groupoid of groupoids.

The resulting solution is spelled out in Ahrens-Kalulkin-Shulman:

 http://ncatlab.org/nlab/show/category#AhrensKapulkinShulman13
 http://arxiv.org/abs/1303.0584