FOM: Re: SETvs.TOP as toolkits.

Robert Tragesser RTragesser at
Sat Jan 24 06:02:34 EST 1998

        I'd like to agree with Diskin,
that SET and TOP and Cat have different
powers,  different tool-kits.  We
are in no position to claim with insightful
understanding that one is THE tool-kit.
        Rather,  each is in need of
"local foundations",  a rigorous local-
f.o.m. clarification of for what the tools
in each tool-kit are most appropriate.  E.g.
modelling real analysis in TOP looks like
tool-abuse, as for example using a hammer to
put in a screw.
        robert tragesser

More information about the FOM mailing list