Series: Logic Seminar Speaker: Stephen Binns (Penn State, Mathematics) Title: The Effective Topos Date: Tuesday, November 10, 1998 Time: 2:30 PM Place: 113 McAllister Building Abstract: This will be a series of two seminars. The first will introduce Category Theory - beginning with its axiomatic formulation. The idea of commutative diagrams, limits and important constructions such as terminal objects, products, exponents etc. Finally, the "sub-object classifier" will be introduced - the categorially defined object that allows logic to be discussed in terms of category theory - and the generalisation of the set-theoretical characteristic function. It is this "sub-object classifier" that is the defining feature of a "Topos". The second seminar will be a more indepth look at the Effective Topos - the category that characterises effective logic - discussed by Kleene using his concept of realisability.
Mathematical Logic at Penn State
Department of Mathematics