Resumo: A noção de topos de Grothendieck tem muitas facetas: um topos pode ser descrito como uma categoria de feixes sobre um "site", como uma categoria de feixes equivariantes de um grupóide, como um universo generalizado de conjuntos, como um espaço topológico generalizado, etc. Em particular, um topos pode ser encarado como uma generalização da noção de locale, que por sua vez está intimamente relacionada com a de espaço topológico. A noção de quantale é uma generalização dos locales, em parte motivada pela "topologia não comutativa" no sentido das C*-álgebras. O objectivo desta palestra é o de exibir formas segundo as quais estes conceitos se relacionam uns com os outros.