FOM: fom: Simpson's motives

Steve Awodey awodey at
Thu Mar 12 17:58:43 EST 1998

>Date: Thu, 12 Mar 1998 13:18:41 -0500 (EST)
>From: Stephen G Simpson <simpson at>
>Subject: FOM: Boolean rings; the quandary of categorical mis-foundations
>I may be wrong, but to me it seems
>potentially worthwhile to engage in a dialogue with proponents of
>categorical pseudo-foundations here in the light of day provided by
>the FOM list.  The purpose of such a dialogue is to get to the bottom
>of exactly why the claims of categorical dis-foundations are mistaken,
>and in the process hopefully to illuminate some genuine f.o.m. issues.

Now that this prejudice is out in the open, it's clear that there is no
(good) reason for categorical logicians to try to have a discussion with

Steve Awodey

More information about the FOM mailing list