News Descrizione del corso Nei corsi dei primi anni si incontrano vari tipi di strutture: gruppi, anelli, campi, spazi vettoriali, etc. Molte tecniche utilizzate per il loro studio si rassomiglano e ci sono teoremi che si ripetono (es. teoremi di…
Introduzione La teoria delle categorie è un linguaggio moderno, molto diverso da quello della teoria degli insiemi, in cui può essere formalizzata la matematica. Mentre il linguaggio degli insiemi ha come concetto fondamentale quello di appartenenza, il linguaggio della teoria…
Here you can find the slides of my talk Are locally finite MV-algebras a variety? presented at the Shanks Workshop on Ordered Algebras and Logic at Vanderbilt University (Nashville, US) and on Zoom for the Algebra|Coalgebra seminar of the ILLC…
This year I will teach an introduttive course on Topos Theory. Topos theory has many different aspects. On the one hand, a topos is a generalisation of a topological space. On the other hand, every topos can be thought of…
Contents of the page Announcements Topics of the course Course material Practical information Announcements Topics of the course Categories, universal properties, functors. Natural transformations, adjoint functors and categorical equivalences. Concrete dualities. Yoneda Lemma. Sheaves and topoi. Course material Harold Simmons. An…