Zagovor magisterija: Ivan Kobe, A type theory for synthetic categories
Date of publication: 25. 8. 2025
Department of Mathematics MSc defense
Friday
29
August
Time:
14:00
Location:
Predavalnica 3.07, Jadranska 21, 3. nadstropje.
Ivan KOBE (magistrski študijski program druge stopnje Matematika) bo opravljal magistrski izpit dne 27. 8. 2025 ob 12.00 v predavalnici 3.07, Jadranska 21, 3. nadstropje, magistrsko delo z naslovom »A type theory for synthetic categories« pa bo zagovarjal dne 29. 8. 2025 ob 14.00 v predavalnici 3.07, Jadranska 21, 3. nadstropje.
Komisija:
- prof. dr. Alexander Keith Simpson (predsednik)
- prof. dr. Andrej Bauer (mentor)
- asist. dr. Egbert Maarten Rijke (somentor)
- doc. dr. Tilen Marc (član)
- doc. dr. George Mejak (član pri mag. izpitu)
