M.Cristina Pedicchio - Dipartimento di Matematica e Informatica

A.A.2006-2007
Fondamenti di Matematica
M.Cristina Pedicchio
1. Introduzione al linguaggio categoriale: motivazioni , riferimenti bibliografici e concetti di base.
Assiomi di categoria - Categorie concrete ed astratte -Sottocategorie
Funtori - Funtori di tipo Hom - Proprietà dei funtori
Morfismi speciali: sezioni, retrazioni ed isomorfismi - Monomorfismi - Epimorfismi Bimorfirsmi - Monomorfismi regolari ed epimorfismi regolari - Oggetto iniziale e terminale Sotto-oggetti ed oggetti quoziente
2. Proprietà di tipo universale: esempi motivanti e costruzioni fondamentali
Frecce universali - Equalizzatori e coequalizzatori - Intersezioni - Prodotti e coprodotti - Prodotti
fibrati e somme amalgamate - Limiti e colimiti - Categorie complete - Limiti con prodotti ed
equalizzatori - Limiti in algebra ed in topologia.
Aggiunzioni - Esempi di aggiunti – Categorie di algebre ed algebre libere - Teorema di
caratterizzazione degli aggiunti - Unicità degli aggiunti - Sottocategorie riflessive e loro
completezza – Aggiunti per preordini - Aggiunti e limiti - Funtori che preservano i limiti
Testi consigliati
S. MAC LANE:
H. HERRLICH - G. STRECKER:
H. SCHUBERT:
F.BORCEUX:
Categorie nella pratica matematica.
Category Theory.
Categories
Handbook of categorical algebra
Prerequisiti: corsi di base di algebra, geometria ed analisi