[FOM] 556: Flat Foundations 1

katzmik at macs.biu.ac.il katzmik at macs.biu.ac.il
Thu Oct 30 04:33:20 EDT 2014

Harvey, could you elaborate on this Leibniz comment?  MK

On Wed, October 29, 2014 22:07, Harvey Friedman wrote:

> Perhaps categorical people don't like even being able to talk about an
> object in the domain of one structure being equal to an object in the
> domain of a different structure? That probably can be accomodated by
> some standard f.o.m. formal language moves. Maybe we want to abolish
> equality between objects altogether? There is always going to be a
> defined equality relation - we learned that from Leibniz.

More information about the FOM mailing list