La comunità di ItaCa sta organizzando un corso di teoria delle categorie rivolto agli studenti italiani; questa pagina ospiterà un diario delle lezioni, che settimana per settimana appariranno sul nostro canale youtube.
Il nostro pubblico ideale è quello degli studenti che, iniziata una laurea magistrale, stanno orientandosi verso la loro specializzazione, e sia essa in algebra, geometria, logica o analisi, hanno sentito parlare di proprietà universali, limiti e colimiti, e vorrebbero saperne di più.
Con poche eccezioni, agli atenei italiani manca un corso il cui argomento principale sia la teoria delle categorie; solitamente si apprende il linguaggio funtoriale perché esso è necessario a introdurre delle costruzioni in geometria algebrica, algebra omologica, teoria degli anelli (raramente, in analisi).
Manca, invece, un corso che “riordini” le nozioni matematiche del discente unificandole sotto i pochi e fondamentali concetti della matematica strutturale.
La nostra formazione è abbastanza varia; ci siamo riuniti col desiderio di dare a questo corso la forma più interdisciplinare possibile. Il corso verrà insegnato in italiano, per avvicinare il maggior numero di studenti possibile, ma anche per stabilire un precedente, e costruire una nomenclatura per fare teoria delle categorie in italiano.
Struttura del corso
Le lezioni verranno pubblicate sul canale youtube di ItaCa a cadenza settimanale (ogni giovedì).
Programma
Questo un programma di massima del corso:
- Concetti fondamentali: categorie, funtori, trasformazioni naturali.
- Classi di morfismi in una categoria: epi, mono, ed isomorfismi; funtori pienamente fedeli; esempi di varia natura.
- Limiti e colimiti, oggetti universali; oggetti iniziali, terminali, co/prodotti, co/equalizzatori, pullback, pushout.
- il lemma di Yoneda; proprietà dei funtori rappresentabili.
- Funtori aggiunti e loro proprietà; teoremi del funtore aggiunto, categorie cartesiane chiuse.
- Monadi; proprietà delle monadi; algebre e teorema di Beck.
- Categorie monoidali; definizioni, esempi, usi.
- Strutture chiuse e monoidali chiuse, funtori monoidali, simmetria.
- un’altra volta Yoneda: cocompletamento libero, fibrazioni, teorema di densità.
Il corso si è concluso a giugno 2022 con grande successo. Grazie a tutti, studenti e docenti, di avere partecipato!
- Greta Coraglia
- Jacopo Emmenegger
- Enrico Ghiorzi
- Francesca Guffanti
- Fosco Loregian
- Beppe Metere
- Daniele Palombi
- Paolo Perrone
e l’intera comunità di ItaCa