Ομοτοπική Θεωρία Τύπων

Έτος
2020-2021
Εξάμηνο
Εαρινό
Τύπος
Σεμιναριακό
Διδάσκοντες
Νικόλαος Ρήγας
Ημερομηνία έναρξης
5/3/2021
Περιγραφή

Σκιαγράφηση της ύλης:
Ανώτεροι επαγωγικοί τύποι, υπολογισμός τής θεμελιώδους ομάδας τού κύκλου
Εισαγωγή στη θεωρία κατηγοριών
Μεταμαθηματικά τής θεωρίας τύπων: Κατηγορική σημασιολογία, κανονικοποίηση