Sumários
Teoria de categorias: adjunção
13 novembro 2008, 16:00 • João Rasga
Resolução de exercício mostrando que existe uma adjunção entre a categoria dos grupos e dos seus homomorfismos e a categoria dos grupos comutativos e seus homomorfismos.
Adjunção em categorias
12 novembro 2008, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Continuação da aula anterior. Homomorfismos injectivos elementares para fórmulas existenciais.
Adjunção em categorias
11 novembro 2008, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Noções básicas sobre functores e transformações naturais. Adjunção. Composição de adjunções.
Completude de apresentações usando o teste de Vaught
6 novembro 2008, 16:00 • João Rasga
Resolução de exercícios sobre a completude de apresentação de grafos satisfazendo axiomas de extensionalidade e de apresentação de ordens lineares densas sem pontos finais. Avaliação.
Eliminação de quantificadores
5 novembro 2008, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Condição necessária e suficiente para que uma apresentação tenha eliminação de quantificadores.