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