[FOM] Formalization Thesis
Robert L Knighten
RLK at knighten.org
Fri Jan 11 00:14:17 EST 2008
hendrik at topoi.pooq.com writes:
> On Mon, Jan 07, 2008 at 02:06:27PM +0100, Freek Wiedijk wrote:
> >
> > Is there a better approach that I am missing that allows
> > me to both have set theory as the foundation for my
> > formalizations, and still have me being able to develop
> > category theory in a way that I can apply it to the actually
> > interesting categories like the category of all sets,
> > of all groups, etc.?
>
> Would any of the variations on Quine's New Foundations help here?
>
> -- hendrik
>
Certainly Feferman has been arguing that way for quite a long time. See:
Feferman - Enriched Stratified Systems for the Foundations of Category
Theory.
http://math.stanford.edu/~feferman/papers/ess.pdf
and other related papers on his web site.
-- Bob
--
Robert L. Knighten
RLK at knighten.org
More information about the FOM
mailing list