In questo articolo presentiamo alcuni temi di ricerca in logica a più valori. Anche se essi sono attuali e di grande interesse teorico, di certo essi non esauriscono le linee di ricerca nel settore delle logiche a più valori, neppure…
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…
Aggiornamenti Pubblicato (più sotto) il calendario aggiornato del tutorato. Visto l’alto numero di studenti frequentanti a partire da lunedì 8 ottobre le lezioni si terranno in aula P5. Descrizione del corso Prerequisiti È richiesta familiarità con gli argomenti di base di…
Descrizione del corso News Pubblicati gli esiti finale delle prove intermedie. La lezione di mercoledì 31 ottobre si terrà in Aula M (Edificio E2). Pubblicate le date delle prove intermedie, vedere qui sotto. È stato aggiornato l’orario del tutorato. Prerequisiti…
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…