FOM: Re: SETvs.TOP as toolkits.

[Robert Tragesser]

        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