It was one of the first attempts to give a categorical account of logic, and it led directly to the definition of an elementary topos, which generalised the notion of a Grothendieck topos and bridged the gap between geometry and logic via category theory. However, the impact of ETCS stems not from its (non-)use as a foundation, but from the research that it led to. However, it is the author’s feeling that when one wishes to go substantially beyond what can be done in the theory presented here, a much more satisfactory foundation for practical purposes will be provided by a theory of the category of categories. It seems that one of the most common reactions at the time was that ETCS was merely a translation in categorical terms of the standard axioms of set theory Įven Lawvere acknowledged the shortcomings of his work: The category of sets was not taken as a foundational framework. The appeal of ETCS was not felt by the mathematical community at the time. The axioms of ETCS consist of the usual axioms for a category □ \mathcal 1 What happened next? We then write a ∈ s a \in s if a a factors through s s. If s : S → A s \colon S \to A is monic then we say s s is a subset of A A, and write s ⊆ A s \subseteq A. Axioms of ETCSīefore listing the axioms, we should fix some set theoretic notation with category theoretic meaning: given an object A A in a category with a terminal object 1 1, if a : 1 → A a \colon 1 \to A then we write a ∈ A a \in A and say a a is an element of A A. What follows is a very brief sketch of its contents more depth and technical details can be found in the paper itself. Unfazed, Lawvere pressed on and in 1964 he published the ETCS paper, which was expanded and reprinted in 1965. Elements are absolutely essential to set theory.” I did listen, and at the end I told him “Bill, you can’t do that. His attempt to explain this idea to Eilenberg did not succeed Sammy asked me to listen to Lawvere’s idea. Lawvere’s attempt did not go unopposed, even by the likes of Samuel Eilenberg and Saunders Mac Lane: It was therefore fitting that he should want to try his hand at doing set theory inside category theory. thesis, which was the first step in his programme of using the category of categories as a foundation. Around the same time, Paul Cohen developed the technique of forcing, which has since become central to modern set theory. It was the early 1960s category theory had found its feet and had started being used extensively throughout mathematics, notably in algebraic geometry with the work of Alexander Grothendieck. ETCS came about at a boomtime for category theory and the foundations of mathematics.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |