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.