I've just saw in Maclane and Moerdijik's book ("Sheaves in Geometry and Logic: A First Introduction to Topos Theory") about the Cohen forcing viewed in a categorical way using Topos theory. Is there any reference for forcing techniques using categories and Topos? Can the other kinds of forcing (iterated, Prickry, etc.) be viewed in the same (analogous) way? Any reference for the last question?
Thanks in advance.