# Specific notions of forcing from the point of view of category theory

I'm trying to learn about the topos of sheaves and the double negation topology to try to go through the independence of CH from a categorical perspective. I'm curious in general about what the standard set theoretic notions of forcing would look like in category theory.

For example: what corresponds to Prikry forcing in the topos of sheaves point of view? Is there a categorical interpretation of the Levy-Solovay theorem about large cardinals being unaffected by small forcing? Is this known or has it been investigated somewhere? Thanks in advance for any references or answers/comments.

• Shouldn't the double-negation topology be called "the no-no topology"? :-) Jul 21, 2020 at 7:45

The topos version of forcing with a poset $$P$$ regards $$P$$ as a category, forms the topos of presheaves on it, and then passes to the subtopos of double-negation sheaves. The presheaf topos amounts to strong forcing (which obeys only intuitionistic logic) and the sheaf subtopos amounts to the much more widely used weak forcing. This was, at least for the Cohen models violating CH, in the early work of Lawvere and Tierney, presented in Lawvere's paper "Quantifiers and sheaves" (Proceedings of the 1970 ICM in Nice. Big pdf (see p329), individual article). If I remember correctly, Marta Bunge worked out the topos version of the forcing that adjoins a Suslin tree (JPAA 1974, doi:10.1016/0022-4049(74)90020-6, see also the erratum).