FOM: Re: SETvs.TOP as toolkits.
RTragesser at compuserve.com
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.
More information about the FOM