The tag has no wiki summary.

learn more… | top users | synonyms

6
votes
0answers
297 views

Maps between forcing posets

We all know that forcing can be seen (if you like things that way) as a category of sheaves over the poset of forcing conditions equipped with the double negation Grothendieck topology. As such it is ...