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