Re: [Logica-l] Presheaves

[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 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

**


On Fri, Sep 6, 2019 at 11:15 AM Francisco Miraglia Neto 
wrote:

> 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 x^2 é colagem de limitadas, mas não é seção global de P.
>
> 2. Como generalização de (1), podemos tomar funções contínuas f, de um
> espaço topológico X em um espaço topológico Y, tal que o fecho da imagem de
> f é compacto em Y (X e Y Hausdorff, X não compacto)
>
>
> 3. Em geral, muitas construções originam-se em prefeixe, que depois são
> “completadas”  para feixes. Um exemplo é a construção de Grothendieck do
> prefeixe associado a um anel comutativo: na realidade o prefeixe é
> construído, originalmente apenas sobre abertos básicos da topologia de
> Zariski.
>
> 4. Seja X um espaço Hausdorff, com base de abertos e fechados e não
> compacto (e.g. , retire apenas um ponto do espaço de Cantor, ou mais
> geralmente um fechado raro).
> O prefeixe Q das funções localmente constantes e de imagem finita de X em
> qualquer conjunto infinito A é um prefeixe que não é um feixe. Este exemplo
> é, claro, parente de (1) e (2). Aqui lembre-se que o complemento do ponto
> retirado do conjunto de Cantor é união disjunta enumerável de abertos e
> fechados não vazios...
>
> Um grande abraço,
>
> Chico Miraglia
>
>
> On 6 Sep 2019, at 10:06, Regivan Hugo Nunes Santiago <
> regi...@dimap.ufrn.br> wrote:
>
> 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
> 
>
> **
>
> --
> Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANLtSLinRUp2xAn1bBucxUcKT4vSCPwWRGe%2BfweiSC8XQijjcQ%40mail.gmail.com
> 
> .
>
>

-- 
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/CANLtSLgOoo1BLLUTApE9tkW1jRVX1%3DKD5958fr6vFYwegDAzPw%40mail.gmail.com.

Re: [Logica-l] Lógica em Juiz de Fora

[Antonio Marmo]

Parabéns ao Desidério pela obra e desejo-lhe muitos leitores.
Este ano não vem sendo fácil para a comunidade acadêmica, por razões que 
ninguém 
ignora e que os jornais noticiam sem parar. 
Além de livros que estão saindo, é bom ver que a comunidade de filósofos e 
lógicos continua ativa de modo geral, fazendo eventos vários, inclusive justas 
homenagens aos seus maiores, como a que o nosso caríssimo Jean-Yves está 
organizando para o professor Newton da Costa.
Serão raios de luz para dissipar uma longa noite!

Most problems of teaching are not problems of growth but helping cultivate 
growth. As far as I know, and this is only from personal experience in 
teaching, I think about ninety percent of the problem in teaching, or maybe 
ninety-eight percent, is just to help the students get interested. 
Noam Chomsky 

> On 7 Sep 2019, at 09:37, 'Desidério Murcho' via LOGICA-L 
>  wrote:
> 
> Caros colegas
> 
> Na próxima quarta-feira, às 19 horas, irei apresentar as minhas ideias sobre 
> a concepção epistémica de consequência lógica na Universidade Federal de Juiz 
> de Fora, no evento seguinte: 
> 
> https://www.sympla.com.br/xxv-semana-de-filosofia-da-ufjf__611198
> 
> Na ocasião, irei lançar o meu livro Lógica Elementar: Raciocínio, Linguagem e 
> Realidade, que já está à venda em Portugal e no Brasil:
> 
> https://www.wook.pt/livro/logica-elementar-desiderio-murcho/23255951
> https://www.amazon.com.br/Lógica-Elementar-Desidério-Murcho/dp/9724421066/
> 
> São todos muitíssimo bem vindos! 
> 
> Desidério Murcho
> https://dmurcho.net 
> 
> 
> 
> 
> 
> -- 
> 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/43D24177-F92E-4CD4-BA25-2E7FD8111894%40icloud.com.

-- 
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/A92839C0-F625-4229-B139-C9BCC6826D38%40gmail.com.