Caro Roberto, Sinceramente não sei se teremos um aparato para gravações (por falta de quem vá atrás!).
Vamos ver se os autores fornecem alguma nota, ou se alguéns ajudam a providenciá-la! Também são bem vindos a BSB! Abraços, Claus 2012/1/31 oliveiradr Mail <oliveir...@hotmail.com> > > Não consegui acessar o site! > Não sou do DF...será que terá como obter um vídeo deste mini curso? > Roberto > > Date: Tue, 31 Jan 2012 01:57:33 -0200 > > From: claus...@mat.unb.br > > To: logica-l@dimap.ufrn.br; claus...@mat.unb.br > > Subject: [Logica-l] Minicurso Teoria das Categorias e Feixes - 06-17/fev > - 16h - Escola de Verão - MAT/UnB > > > > Favor divulgar: > > * > > > > Minicurso Teoria das Categorias e Feixes* > > * > > * > > * 06-17 de fevereiro de 2012 (2 módulos em 2 semanas)* > > * > > * > > * Auditório do Depto. de Matemática** 16h-19h* > > * > > * > > * Escola de Verão - MAT/UnB* > > * > > * > > *Eduardo Ochs (PURO/UFF) e Hugo Mariano (IME/USP)* > > > > > > Aberto aos interessados, primeira semana introdutória (Lógica, > Computação, > > Filosofia, etc)! > > > > Informações sobre a inscrição na primeira aula. > > > > Informações: http://www.mat.unb.br/verao/index.php?action=cursos > > > > > > > > *Módulo I* : 06-11/fev > > > > *Introdução a Categorias, Toposes e Feixes,* > > * via diagramas e exemplos arquetipais (finitos)* > > > > *Eduardo Nahum Ochs* > > LLaRC, PURO/UFF > > > > > > I.1) Introdução a Categorias > > > > Separação entre "estrutura" e "propriedades" e entre > > "construções" e "equações" > > > > Exemplos arquetipais > > > > Funtores, transformações naturais, adjunções e > > Categorias cartesianas fechadas ("CCC"s) > > > > Lambda-cálculo tipado > > > > Teorema de isomorfismo de Curry-Howard > > > > > > I.2) Linguagens internas em vários casos > > > > Cálculo proposicional (intuicionista) em posets finitos > > "planos" e em espaços topológicos > > > > Lógica modal (S4) > > > > > > I.3) Introdução a Feixes > > > > Feixes em posets finitos > > > > Lema de Yoneda (versão "proto") > > > > Classificador de sub-objetos > > > > Toposes arquetipais e sua linguagem interna > > > > Introdução a morfismos geométricos e feixeficação > > > > > > I.4) Mônadas e Álgebras > > > > Teorema da comparação (versão "proto") > > > > Mônadas e linguagens funcionais > > > > > > > > *Módulo II* : 13-17/fev > > > > *Categorias, Feixes, Toposes e Aplicações à Matemática* > > > > *Hugo Luiz Mariano* > > MAT-IME/USP > > > > > > II.1) Feixes > > > > Equivalência entre as definições de Feixe > > "geométrico" e Feixe "funtorial" > > > > Topologias de Grothendieck > > > > Teorema de Giraud > > > > Noção de Topos elementar > > > > > > II.2) Aplicações > > > > Representação de anéis por Feixes > > > > Noções sobre modelos da geometria sintética > > > > > > > > *Bibliografia:* > > > > - Category Theory, Stephen Awodey. Oxford University Press, 2006. > > > > - Categories for the Working Mathematician, Saunders MacLane. Springer, > > 1971. > > > > - Introduction to Higher-Order Categorical Logic, Jim Lambek and Phil > > Scott. Cambridge University Press,1986. > > > > - Monads for functional programming, Phil Wadler, 1995. > > > > - Comprehending Monads, Phil Wadler, 1992. > > > > > > - An Introduction to Partially Ordered Structures and Sheaves, Francisco > > Miraglia. Contemporary Logic, 2006. > > > > - Handbook of Categorical Algebra 3: Categories of Sheaves, Francis > > Borceux. Encyclopedia of Mathematics and its Applications 52, Cambridge > > University Press, 1994. > > > > - Sheaf Theory. B.R.Tennison. London Mathematical Society - LNS > > 20, Cambridge University Press, 1975. > > > > - Models for smooth infinitesimal analysis, Ieke Moerdijk and Gonzalo E. > > Reyes. Springer-Verlag, 1991. > > > > > > > > Organização: Claus Akira Horodynski-Matsushigue > > > > Grupo de Teoria da Computação - Depto. de Matemática > > Instituto de Ciências Exatas (IE) - Universidade de Brasília > > (UnB) > > _______________________________________________ > > Logica-l mailing list > > Logica-l@dimap.ufrn.br > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l