[FOM] Reference request for category-theoretic presentation of forcing

[Neil Barton]

Dear All,

A short reference request: I'm interested in the category-theoretic
presentations of set-theoretic forcing (e.g. showing that ~CH is consistent
with ZFC).

As someone with a reasonable knowledge of set theory (inner models and the
forcing construction are certainly fine) and a basic knowledge of topos
theory (subobject classifiers, algebras of subobjects, sheaves etc.) what's
the best reference here? Would that be the Appendix to Bell's *Boolean-Valued
Models and Independence Proofs*, or are there other references? I would
like a little more detail on the wider implications of this way of cashing
out the results, in particular how they relate to category theory/set
theory more generally.

Best Wishes,

Neil

-- 
Dr. Neil Barton
Postdoctoral Research Fellow
Kurt Gödel Research Center for Mathematical Logic
University of Vienna
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20170703/f83aa62e/attachment.html>