Use this URL to cite or link to this record in EThOS:
Title: Categories with New Foundations
Author: Lewicki, Adam
ISNI:       0000 0004 9359 7546
Awarding Body: University of Cambridge
Current Institution: University of Cambridge
Date of Award: 2020
Availability of Full Text:
Access from EThOS:
Full text unavailable from EThOS. Please try the link below.
Access from Institution:
While the interaction between set theory and category theory has been studied extensively, the set theories considered have remained almost entirely within the Zermelo family. Quine’s New Foundations has received limited attention, despite being the one-sorted version of a theory mentioned as a possible foundation for Category Theory by Mac Lane and Eilenberg in their seminal paper on the subject. The lack of attention given to NF is not without justification. The category of NF sets is not cartesian closed and the failure of choice is a theorem of NF. But those results should not obscure the aspects of NF that have foundational appeal, nor the value of studying category theory in the context of a universal set. The present research is not intended to “advocate” for the use of NF as a practical foundation for category theory. Instead, the work presents a broad survey of the interaction between the set theory and category theory of NF, examining the relationship in both directions. The abstract structure, of which both type restriction (in the category of NF sets) and size restriction (in the category of all categories) are specific cases, appears to be the study of relative algebra. In a number of cases, the existence of relative algebraic structures in NF can be proven more generally for a class of relative adjoints, (pseudo)monads, etc. Thus, where it seems appropriate to do so, this thesis seeks to contribute to the broader study of relative algebra.
Supervisor: Forster, Thomas Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
Keywords: Category Theory ; New Foundations (NF) ; Set Theory ; Mathematical Logic