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.