Pourquoi les topologies de Grothendieck intéressent-elles les logiciens ?

Exposé fait au séminaire Keller-Maltsiniotis sur la démonstration de Miles Tierney de l'indépendance de l'hypothèse du continu dans le cadre de la théorie des topos.