6 March 2007

2:30 - 4:00  N Gambino

Title: The associated sheaf functor theorem in Algebraic Set Theory

Abstract: We prove a version of the associated sheaf functor theorem
in Algebraic Set Theory. The proof will be established working within
a Heyting pretopos equipped with a system of small maps satisfying the
axioms originally introduced by Joyal and Moerdijk. This result
improves on the existing developments by avoiding the assumption of
additional axioms for small maps and the use of collection sites.