Caros colegas,
muito obrigado pelas contribuições.
Um grande abraço,
Regivan
**
*Prof. Dr. Regivan Hugo Nunes Santiago*
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics an
Caro Regivan,
Há muitos exemplos. Primeiro uma observação: todo perfeixe sobre um espaço
topológico pode ser reescrito na abordagem proposta por Fourman e Scott (isto é
meio imediato).
1. 0 exemplo mais standard é o prefeixe, P, das funções reais contínuas e
limitadas sobre a reta.
A função
Caríssimos,
alguém conhece um exemplo de um presheaf que não seja um Sheaves.
Gostaria de um exemplo que não fosse abordado categoricamente,
mas que seguisse a abordagem proposta pelo Scott e o Fourman.
Regivan
**
*Prof