Nicola Gambino
University of Quebec at Montreal

"The associated sheaf functor theorem in Algebraic Set Theory"

Abstract:
There is a close connection between the set-theoretic method of forcing and the category-theoretic idea of sheaf constructions. The associated sheaf functor theorem plays a fundamental role in the category-theoretic development. After reviewing the existing research on the topic, I will describe a new version of the associated sheaf functor theorem in Algebraic Set Theory, and indicate how it may be used to provide a theory of forcing extensions for constructive set theories.
 

Back to Talks Page