Sara Kališnik, Vztrajna homologija in dualnost
Torek, 24. 9. 2013, ob 16.15 uri v predavalnici 3.05 na Jadranski 21/III
Topology seminar
20. 9. 2013
P. Lendero, Topološka kompleksnost konfiguracijskih prostorov
Ponedeljek, 3.6.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Topology seminar
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.
Topology seminar
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.
Topology seminar
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.
Topology seminar
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.
Topology seminar
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.
Topology seminar
19. 4. 2013
Ž. Virk, Topologije na prostoru poti, 3. del
Ponedeljek, 15.4.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Topology seminar
13. 4. 2013
Ž. Virk, Topologije na prostoru poti, 2. del
Ponedeljek, 8.4.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Topology seminar
5. 4. 2013
Ž. Virk, Topologije na prostoru poti
Ponedeljek, 25.3.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Topology seminar
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.
Topology seminar
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.
Topology seminar
10. 3. 2013
Brendan Owens (Glasgow University), Tame subsets of spheres
Ponedeljek, 4.3.2013, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Topology seminar
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.
Topology seminar
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.
Topology seminar
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.
Topology seminar
4. 1. 2013
Topološki seminar Ljubljana-Zagreb
Sobota 15.12. 2012, ob 10. uri, soba 3.05, Jadranska 21
Topology seminar
12. 12. 2012
Petar Pavešić, Teorija ovir, 6. del
Ponedeljek, 10.12. 2012, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Topology seminar
7. 12. 2012
Petar Pavešić, Teorija ovir, 5. del
Ponedeljek, 3.12. 2012, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Topology seminar
2. 12. 2012
Petar Pavešić, Teorija ovir, 4. del
Ponedeljek, 26.11. 2012, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Topology seminar
25. 11. 2012
