[FOM] Formalization Thesis

[hendrik@topoi.pooq.com]

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