This thesis is a contribution to the research program ‘toposes as bridges’ introduced in [12], which aims at developing the unifying potential of the notion of Grothendieck topos as a means for relating different mathematical ...