Libri UniversitariApri il catalogo

Leinster – Basic Category Theory

Libro adottato a Statale di Milano, a.a. 2026/2027 · 3 canali

«Leinster – Basic Category Theory» è adottato per Dualità Categoriali in Logica e Algebra dal prof. Vincenzo Marra (Matematica (magistrale) – Statale di Milano); per Logica Algebrica e Categoriale dai docenti Luca Reggio e Fabio Pasquali (Matematica (magistrale) – Statale di Milano); per Teoria delle Categorie dai docenti Sandra Mantovani e Andrea Montoli (Matematica (magistrale) – Statale di Milano).

Leinster – Basic Category TheoryVai su Amazon ›

Come lo indica il docente: T. Leinster, "Basic Category Theory", Cambridge University Press, 2014 · T. Leinster, "Basic Category Theory", Cambridge University Press, 2014 (disponibile online: https://arxiv.org/abs/1612.09375 ) · T. Leinster, Basic Category Theory, Cambridge University Press, 24/lug/2014

Chi lo adotta

Programma e testi di ogni canale

Dualità Categoriali in Logica e Algebra – Prof. Vincenzo Marra Canale unico

Corso di laurea: Matematica (magistrale) · Laurea magistrale (LM-40) · esame facoltativo · GENERALE · 6 CFU

Statale di Milano · Facoltà di Scienze e Tecnologie · 6 CFU · apri nel catalogo · Matematica (magistrale) · 1º semestre ›

Leinster – Basic Category Theoryquesto libroVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
MacLane – Categories for the Working MathematicianVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Per la parte principale del corso

Johnstone – Stone SpacesVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Per il necessario materiale di teoria delle categorie, le parti rilevanti di:
  • Altri riferimenti su argomenti specifici saranno dati a lezione.

Argomenti del programma: Nota: Solo una parte del programma indicato in calce è svolta nelle lezioni. Fino al punto 7 il programma è solitamente svolto nella sua interezza. I punti successivi, tempo permettendo, sono parzialmente svolti anche a seconda degli interessi manifestati dalla classe. 1. Breve introduzione storica e concettuale. Esempi guida motivanti di dualità. 2. Richiami di teoria delle categorie. 3.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Logica Algebrica e Categoriale – Prof. Luca Reggio, Prof. Fabio Pasquali Canale unico

Corso di laurea: Matematica (magistrale) · Laurea magistrale (LM-40) · esame facoltativo · GENERALE · 6 CFU

Statale di Milano · Facoltà di Scienze e Tecnologie · 6 CFU · apri nel catalogo · Matematica (magistrale) · 1º semestre ›

Per il materiale di teoria delle categorie, le parti rilevanti di

Leinster – Basic Category Theoryquesto libroVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Nota: Solo una parte del programma indicato in calce è svolta nelle lezioni. Fino al punto 8 il programma è solitamente svolto nella sua interezza. I punti successivi, tempo permettendo, sono parzialmente svolti anche a seconda degli interessi manifestati dagli studenti. 1. Breve introduzione storica e concettuale. 2. Costruzione di Lindenbaum-Tarski; reticoli distributivi, algebre di Heyting, e algebre di Boole. 3.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Teoria delle Categorie – Prof. Sandra Mantovani, Prof. Andrea Montoli Canale unico

Corso di laurea: Matematica (magistrale) · Laurea magistrale (LM-40) · esame facoltativo · GENERALE · 9 CFU

Statale di Milano · Facoltà di Scienze e Tecnologie · 9 CFU · apri nel catalogo · Matematica (magistrale) · 1º semestre ›

Mac Lane – Categories for the working mathematicianVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Awodey – Category theoryVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Leinster – Basic Category Theoryquesto libroVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Borceux – Handbook of categorical algebraVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Moerdijk – Ieke Sheaves in geometry and logicVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Per i 6 CFU: Categorie, funtori, trasformazioni naturali. Proprietà universali, limiti e colimiti. Aggiunzioni, equivalenze. Funtori rappresentabili e Lemma di Yoneda. Monadi e algebre per una monade, funtori monadici. Categorie monoidali e monoidali chiuse. Monoidi in una categoria monoidale. Categorie regolari e Barr-esatte. Categorie additive. Categorie abeliane. Topos elementari.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Si studia insieme a