For toposes were invented by Grothendieck in the sixties for specific purposes in algebraic geometry and algebraic topology. Later on, Lawvere and Tierney [11] axiomatized the notion of an elementary topos with the goal of providing an appropriate foundation for differential geometry.