Topoi also give a natural setting for forcing and discussions of the independence of choice from ZF, as well as providing the framework for pointless topology and Stone spaces.
A teoría de topos tamén dá un marco natural para forzar e discutir a independencia do axioma da escolla de ZF, así como proporciona unha estrutura para a topoloxía sen puntos e os espazos de Stone.