[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

and other related papers on his web site.

-- Bob

Robert L. Knighten
RLK at knighten.org

More information about the FOM mailing list