Saarland University Computer Science


Seminar: Category Theory Prof. Gert Smolka, Steven Schäfer, Yannick Forster, Jonas Kaiser, Kathrin Stark, Dominik Kirst

News



19.09.2017

Write-up submission

This is just a reminder that the deadline for the submission of your write-up is tomorrow, September 20th. Please submit by opening a pull request on Github and not by email. You can contact us if you have technical problems.

19.07.2017

New Material

We just uploaded the following: Solutions for Sheet 11 | Exercise Sheet 12 | Slides of Talk 12

29.06.2017

Sheet 9

We have just published the exercise sheet for talk 9 from Joachim bard.

08.06.2017

Talk 6

We just uploaded the exercise sheet for talk 6, as well as the corresponding slides of the talk. Both can be found under Materials.

01.06.2017

Exercise Sheet from Session 5 now online

We have uploaded the exercise sheet from Mostafa.

01.06.2017

Solution 3 now online

The Solution to the third exercise sheet is now available in the materials section

31.05.2017

Solution 4 now online

A first version of the sample solutions for Sarah's exercise sheet 4 is available under Materials.

29.05.2017

Sheet 4 -- new version

There is an updated version of sheet 4 available, which fixes a few minor errors in exercise 4.1. The new version can be found under materials.

26.05.2017

Exercise Sheet from Session 4 now online

Hi, I just uploaded the exercise sheet that Sarah prepared for her talk on last Wednesday. Please remember to work through at least some of the posed questions. Bring your answers along next week, so that we can have a productive discussion :-) -- the CT team

24.05.2017

Solution 2 now online

We just uploaded, with some delay, the solutions to the second exercise sheet.

19.05.2017

Exercise Sheet 3 online

We just uploaded the third exercise sheet. -- the CT team

18.05.2017

Info Slides from Session 3 online

I just uploaded the info slides from the session yesterday. I also included the remark that your phase 2 presentations should be around 40 minutes. -- Jonas

11.05.2017

Exercise Sheet 2 online

We have just uploaded the exercise prepared by the second group of phase 1. You find it under Materials.

08.05.2017

Topic Assigments

The topics for Phase 2 have been assigned. Please refer to the Topics page (visible after login) to find out which topic was assigned to you and who your advisor is going to be.

The CT-team