Učitavanje video playera...
00:49:07
Teo Šestak - Elementarna teorija kategorije skupova
Elementarna teorija kategorije skupova, ili ETCS, je formulacija teorije skupova u jeziku teorije kategorija. Ona je ujedno jedan od prvih pokušaja strukturalne teorije skupova i kategoričkih temelja matematike.
Započet ćemo pregledom članka "An elementary theory of the category of sets" iz 1964., čiji je autor F. William Lawvere, i objasniti ideje iza takve formulacije. Nakon toga ćemo se okrenuti formalnoj teoriji ETCS te konačno naglasiti neke bitne razlike između teorija ETCS i ZFC.
