Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 14. prosinca 2020. u 17:15 sati,

Ivan Tomašić (Queen Mary University of London) će održati predavanje

Sažetak: U klasičnoj Galoisovoj teoriji beskonačnih proširenja polja, Galoisova grupa je prokonačna i ključno ju je tretirati kao topološku grupu. Na putu do Galoisove teorije proširenja polja i prstenova  u proizvoljnom toposu, Stoneova dualnost nam daje odgovarajući analogon prokonačnih prostora i grupa, a Janelidzeova kategorička Galoisova teorija nam daje Galoisovu korespondenciju. Dobivene rezultate ćemo usporediti s općom teorijom lokaličke fundamentalne grupe u toposima Marte Bunge. Kao specijalni slučaj dobivamo Galoisovu teoriju u diferencijskoj algebri.