[FOM] Formalization Thesis
hendrik at topoi.pooq.com
Wed Jan 9 08:33:22 EST 2008
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?
More information about the FOM