Teoria dos feixes
Origem: Wikipédia, a enciclopédia livre.
Em topologia, um pré-feixe 
em um espaço topológico X é um funtor contravariante da categoria dos abertos de X numa categoria 
.
A categoria dos abertos de um espaço topológico tem como morfismos as inclusões, e estes são levados por um feixe nos chamados morfismos de restrição. Caso o pré-feixe satisfaça duas propriedades de colagem, então ele é chamado de feixe. Geralmente a categoria é a categoria Ab, cujos objetos são grupos abelianos e cujos morfismos são homorfismos.
Dizemos que os elementos de 
são as seções do abertos 
. Sejam e 
dois abertos de 
, e 
o morfismo inclusão de em . A imagem de por aplicada num elemento 
de 
é chamada de restrição de s a U.
