Re: [Logica-l] Presheaves

2019-09-07 Por tôpico Regivan Hugo Nunes Santiago
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

Re: [Logica-l] Presheaves

2019-09-06 Por tôpico Francisco Miraglia Neto
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

[Logica-l] Presheaves

2019-09-06 Por tôpico Regivan Hugo Nunes Santiago
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