# Tagged Questions

**6**

votes

**0**answers

301 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 ...

**9**

votes

**1**answer

577 views

### Set-theoretic forcing over sites?

All texts I have read on set-theoretic independence proofs consider several different sorts of constructions separately, such as Boolean-valued models (equivalently, forcing over posets), permutation ...