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
Petar Pavešić, Teorija ovir, 6. del
Ponedeljek, 10.12. 2012, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
7. 12. 2012
Petar Pavešić, Teorija ovir, 5. del
Ponedeljek, 3.12. 2012, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
2. 12. 2012
Petar Pavešić, Teorija ovir, 4. del
Ponedeljek, 26.11. 2012, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
25. 11. 2012
Petar Pavešić, Teorija ovir, 2. del
Ponedeljek, 12.11. 2012, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
11. 11. 2012
Petar Pavešić, Teorija ovir, 1. del
Ponedeljek, 5.11. 2012, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
4. 11. 2012
Leon Lampret, Klasična Morsova teorija, 4. del
Ponedeljek, 29.10. 2012, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
29. 10. 2012
Leon Lampret, Klasična Morsova teorija, 3. del
Ponedeljek, 22.10. 2012, ob 12. uri, predavalnica 3.06, Jadranska 21/III.
Seminar za topologijo
19. 10. 2012
