Category theory as an autonomous foundation Abstract Does category theory provide a foundation for mathematics that is autonomous with respect to the orthodox foundation in a set theory such as ZFC? We distinguish three - Autonomous category - Document - PDFSEARCH.IO

First Page	Meta Content
	Category theory as an autonomous foundation Abstract Does category theory provide a foundation for mathematics that is autonomous with respect to the orthodox foundation in a set theory such as ZFC? We distinguish three Add to Reading List Document Date: 2013-07-31 14:44:38 Open Document File Size: 160,69 KB Share Result on Facebook Organization A. Thus / Abstract Does / / Person John Bell / Solomon Feferman / William Lawvere / Steve Awodey / Saunders Mac Lane / / SocialTag Sheaf theory Topos Category theory Category of sets Set theory Class Mathematical object Sheaf Theory Mathematics

Category theory as an autonomous foundation Abstract Does category theory provide a foundation for mathematics that is autonomous with respect to the orthodox foundation in a set theory such as ZFC? We distinguish threeAdd to Reading List