Dejan Govc, Vztrajna homologija, 2. del
Ponedeljek, 21.10.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
21. 10. 2013
Dejan Govc, Vztrajna homologija
Ponedeljek, 14.10.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
11. 10. 2013
B. Owens, Concordance invariants and quasi-alternating links
Ponedeljek, 7.10.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
6. 10. 2013
Sara Kališnik, Vztrajna homologija in dualnost
Torek, 24. 9. 2013, ob 16.15 uri v predavalnici 3.05 na Jadranski 21/III
Seminar za topologijo
20. 9. 2013
P. Lendero, Topološka kompleksnost konfiguracijskih prostorov
Ponedeljek, 3.6.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
31. 5. 2013
D. Govc, O definiciji homološke kritične vrednosti
Ponedeljek, 27.5.2013, ob 12.05 uri, predavalnica 3.06, Jadranska 21/III.
Bodite pozorni na zgodnejši začetek, predavanje se bo pričelo ob 12.05
in zaključilo ob 13.15, zaradi seje Akademskega zbora fakultete.
Seminar za topologijo
24. 5. 2013
A. Bauer, Fundamentalna grupa krožnice v homotopski teoriji tipov, 4.del
Ponedeljek, 20.5.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
19. 5. 2013
A. Bauer, Fundamentalna grupa krožnice v homotopski teoriji tipov, 3.del
Ponedeljek, 13.5.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
12. 5. 2013
A. Bauer, Fundamentalna grupa krožnice v homotopski teoriji tipov, 2.del
Ponedeljek, 6.5.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
4. 5. 2013
A. Bauer, Fundamentalna grupa krožnice v homotopski teoriji tipov
Na seminarju bom predstavil dokaz v homotopski teoriji tipov, da je fundamentalna grupa krožnice grupa celih števil. Pred tem bom predstavil še potrebno ozadje iz homotopske teorije tipov, ki leži na stičišču teorije tipov in homotopske teorije. V homotopski teoriji tipov krožnico definiramo neposredno s pomočjo univerzalne lastnosti, ki ji zadošča. Tako lahko govorimo o homotopiji ne da mi morali pred tem formulirati klasično topologijo, realna števila ipd.
Ta in mnoge bolj zahtevne izreke iz homotopske teorije smo razvili v sklopu programa Univalent Foundations na Institute for Advanced Study v Princetonu. Poročal bom tudi o samem programu in dogodkih, ki so se odvijali v tem akademskem letu.
Seminar za topologijo
19. 4. 2013
Ž. Virk, Topologije na prostoru poti, 3. del
Ponedeljek, 15.4.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
13. 4. 2013
Ž. Virk, Topologije na prostoru poti, 2. del
Ponedeljek, 8.4.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
5. 4. 2013
Ž. Virk, Topologije na prostoru poti
Ponedeljek, 25.3.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
22. 3. 2013
J. Smrekar, Struktura modelske kategorije na stolpih in stabilni stolpi, 4. del
Ponedeljek, 18.3.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
15. 3. 2013
J. Smrekar, Struktura modelske kategorije na stolpih in stabilni stolpi, 3. del
Ponedeljek, 11.3.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
10. 3. 2013
Brendan Owens (Glasgow University), Tame subsets of spheres
Ponedeljek, 4.3.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
1. 3. 2013
J. Smrekar, Struktura modelske kategorije na stolpih in stabilni stolpi, 2. del
Ponedeljek, 25.2.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
22. 2. 2013
J. Smrekar, Struktura modelske kategorije na stolpih in stabilni stolpi
Ponedeljek, 18.2.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
15. 2. 2013
Petar Pavešić, Uporaba teorije ovir pri topološki kompleksnosti
Ponedeljek, 7.1.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
4. 1. 2013
Topološki seminar Ljubljana-Zagreb
Sobota 15.12. 2012, ob 10. uri, soba 3.05, Jadranska 21
Seminar za topologijo
12. 12. 2012
