Teoria das Categorias

Programa

Categorias, functores e transformações naturais.
Propriedades elementares de objectos e de morfismos de uma categoria.
Limites e colimites. Construção de limites através de produtos e de igualizadores.
Preservação, reflexão e criação de limites.
Representatibilidade: Imersão e Lema de Yoneda. Functores representáveis.
Functores adjuntos. Categorias cartesianas fechadas.

Bibliografia

M. Barr e C. Wells, Category Theory for Computing Science, Prentice Hall.
F. Borceux, Handbook of Categorical Algebra, Vol I, Cambridge University Press.
S. MacLane, Categories for the Working Mathematician, Springer-Verlag.

Maria Manuel Clementino 
Gabinete 4.10, DMUC
Horas de gabinete: 
Segunda-feira, 14:30-16:00; quarta-feira, 11:15-12:45.
e-mail: mmc@mat.uc.pt
URL: http://www.mat.uc.pt/~mmc