Licenciatura: Matemática

Ano Lectivo: 1999/00

Programa:

Categorias. Functores.

Isomorfismos. Monomorfismos e epimorfismos.

Limites e colimites. Objectos inicial e terminal. Princípio da Dualidade Categorial.

Produtos e coprodutos. Igualizadores e co – igualizadores.

Produtos fibrados e somas amalgamadas. Teoremas de existência de limites.

Transformações naturais. Equivalência de categorias. Imersão de Yoneda.

Functores representáveis.

Functores adjuntos. Subcategorias reflectivas.

Categorias cartesianas fechadas. Topos.