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. Dr. Regivan Hugo Nunes Santiago* Group for Logic, Language, Information, Theory and Applications - LoLITA Department of Informatics and Applied Mathematics - DIMAp Federal University of Rio Grande do Norte - UFRN Avenida Senador Salgado Filho, 3000, Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil Caixa Postal: 1679 Phone: +55 84 3215-3814 Ext. 211 Fax: +55 84 3215-3813 https://sites.google.com/site/regivanhnsantiago/ e-mail: regivan AT DOMAIN=dimap,ufrn,br. Curriculum Lattes-CNPq <http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4&idiomaExibicao=2> ****************************************************************************** -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANLtSLinRUp2xAn1bBucxUcKT4vSCPwWRGe%2BfweiSC8XQijjcQ%40mail.gmail.com.