Licenciatura: Matemática

Ano Lectivo: 2001/02

Programa:

Definição e exemplos de categorias. Subcategoria. Categoria quociente. Functores. Objectos iniciais e objectos terminais. Monomorfismos. Epimorfismos. Princípio da dualidade categorial. Produtos e coprodutos. Igualizadores e co-igualizadores. Produtos fibrados e somas amalgamadas. Limites e colimites. Teoremas de existência de limites finitos e de limites. Transformações naturais. Lema de Yoneda. Functores representáveis. Isomorfismo e equivalência de categorias. A dualidade de Lindenbaum – Tarski. Functores e limites. Functores adjuntos. Existência de adjuntos. Subcategorias reflectivas. Categorias cartesianas fechadas.