Topos

Origem: Wikipédia, a enciclopédia livre.
Saltar para a navegação Saltar para a pesquisa

Na matemática, um topos é uma categoria que se comporta como a categoria de feixes de conjuntos em um espaço topológico. Topoi se comportam muito como a categoria de conjuntos e possui uma noção de localização; eles são, em certo sentido, uma generalização da topologia de conjunto de pontos.[1] Os topoi de Grothendieck encontram aplicações na geometria algébrica; os topoi elementares mais gerais são usados na lógica.

Referências

  1. Illusie, Luc (2004). «What is...A Topos?» (PDF). Notices of the AMS. 51 (9): 160–161. Consultado em 31 de maio de 2013. 
Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.