Saarland University Computer Science


Seminar: Category Theory Prof. Gert Smolka, Kathrin Stark, Yannick Forster, Dominik Kirst, Fabian Kunze, Moritz Lichter


Export as .ics-file
Items per page:

Type Title Location Serial Start End All Day
Kick-Off Kick-Off Meeting E 1.3, Room 528 19.10.17 19.10.17 No 
Reading Group Base Session 1 E 1.3, Room 528 23.10.17 23.10.17 No 
Reading Group Base Session 2 E 1.3, Room 528 06.11.17 06.11.17 No 
Reading Group Base Session 3 E 1.3, Room 528 13.11.17 13.11.17 No 
Seminar Talks Special Constructions in Categories E 1.3, Room 528 20.11.17 20.11.17 No 
Seminar Talks Limits and Colimits E 1.3, Room 528 27.11.17 27.11.17 No 
Seminar Talks St. Nicholas Surprise Session E 1.3, Room 528 04.12.17 04.12.17 No 
Seminar Talks Cartesian Closed Categories E 1.3, Room 528 11.12.17 11.12.17 No 
Seminar Talks Cartesian Closed Categories as a model for the STLC E 1.3, Room 528 18.12.17 18.12.17 No 
Seminar Talks Galois Connections and Adjunctions E 1.3, Room 528 08.01.18 08.01.18 No 
Seminar Talks Presheaves, Representables, and the Yoneda Lemma E 1.3, Room 528 15.01.18 15.01.18 No 
Seminar Talks Dependent Types (Extra Session) E 1.3, Room 528 29.01.18 29.01.18 No 
Items per page: