Åkerman: The Logical Consistency of Categorical Set Theory
Time: Mon 2018-09-03 10.00 - 11.00
Location: Room 14, House 5, Kräftriket, Department of Mathematics, Stockholm University 
Respondent: Åkerman (BSc student)
Supervisor: Erik Palmgren
Abstract: The categorical set theory ETCS is an attempt to bypass some issues of classical set theory. In this paper it will be presented in its original version formulated by William Lawvere in 1963. The theory consists of axioms that could be thought of as demands we make on a certain category. We give an account for a model of this theory and use this model to show that the theory is consistent.