Categorie, funtori, trasformazioni naturali. Problemi universali, limiti e colimiti.

Aggiunzioni, equivalenze. Funtori rappresentabili e Lemma di Yoneda.

Monadi e algebre per una monade. Categorie regolari, esatte, additive, abeliane.

Omologia in categorie abeliane e semiabeliane.

Testi consigliati:

S. Mac Lane, Categories for the working mathematician, Springer, 1997

J. Adamek, H. Herrlich, G. Strecker, Abstract and concrete categories, Wiley Interscience Publ. 1990.

F. Borceux, Handbook of categorical algebra, 1-2-3, Cambridge University Press, 1994

S. Awodey, Category Theory, Oxford Science Publication, 2006