Najava seminara

ponedjeljak 4. ožujka 2024. u 17:15 sati, u predavaonici 201, PMF-MO

SAŽETAK: 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.

Foto (s nekih održanih seminara)