News

Evaluation

Written on 09.08.22 by Michael Sammler

Hi,
the results of the evaluation are now available on the Materials page. Thank you that so many of you filled out the evaluation and gave feedback!

Session 14

Written on 18.07.22 by Michael Sammler

Hi,

in the next session (session 14 on 22.7.), Andrew will present solutions to the exercises and then discuss how the material of this course fits into the bigger picture. As usual, we encourage you to do the exercises yourself before the lecture such that we can have an interesting discussion.

Homework 14

Written on 15.07.22 by Michael Sammler

Hello everyone,

the new exercise sheet (and also the last exercise sheet of this seminar) is now available on the materials page.

Enjoy!

Homework 13

Written on 08.07.22 by Michael Sammler

Hello everyone,

the new exercise sheet is now available on the materials page.

Enjoy!

Homework 12

Written on 01.07.22 by Michael Sammler

Hello everyone,

the new exercise sheet is now available on the materials page.

Enjoy!

A result you can use in the current homework

Written on 29.06.22 by Andrew Hirsch

In problem 4 of homework 11, feel free to use the following result: if F and G are two halves of an equivalence of category, than both F and G preserve both products and exponentials.

Hopefully you'll find that result useful!

New Homwork

Written on 24.06.22 by Jan Menz

Hello everyone,

we uploaded the new exercise sheet. As always, you can find it on the materials page.

Enjoy.

Added chapter 8.8 to the reading of 1.7. (next week)

Written on 22.06.22 by Michael Sammler

Hi everyone,

we decided to add chapter 8.8 to the reading for 1.7. (i.e. next week) as its topic is important for many CS and logic applications. The main page of the CMS has been updated accordingly.

Homework 10

Written on 17.06.22 by Jan Menz

Hello everyone,

the new exercise sheet as well as the recording of todays seminar are now available on the materials page.

Enjoy!

Homework 9

Written on 10.06.22 by Michael Sammler

Hello everyone,

homework 9 and the slides from the class today are now available on the Materials page. The recording of the lecture should follow soon. Enjoy!

Homework 8

Written on 03.06.22 by Michael Sammler

Hello everyone,

homework 8 is now available on the Materials page. Enjoy!

Homework 7

Written on 27.05.22 by Jan Menz

Hello everyone,

homework 7 is now available on the Materials page. Enjoy!

New Homework

Written on 20.05.22 by Michael Sammler

Hello everyone,

the new homework is available on the materials page now. The recording of the lecture today will follow shortly. Enjoy!

New Homework

Written on 13.05.22 by Michael Sammler

Hello everyone,

the new homework, the recording of the lecture today, and the notes from the semantics course are available on the materials page now. Enjoy!

Room on 13.5. as usual

Written on 10.05.22 by Michael Sammler

Hi everyone,

The seminar this week (i.e. 13.5.) will be held in the same room as usual i.e. room 029 in MPI-SWS (E 1.5). (Previously it was not clear whether we would be able to use this room this Friday, but now we know that we can actually use it.)

New Homework

Written on 06.05.22 by Jan Menz

Hello everyone,

the new homework is available on the materials page now. Enjoy!

Lecture today (6.5.) starting 10 minutes late

Written on 06.05.22 by Michael Sammler

Hi everyone, the lecture today (6.5.) will start roughly 10 min late (i.e. around 10:10) due to a delay.

Changing topics

Written on 03.05.22 by Michael Sammler

Hi everyone,

if you would like to change your topic, please find another student who would like to swap their topic with you and send us an email. If you are looking for someone to swap topics with, you can post a message on the discourse.

Topic assignment, discourse and new homework

Written on 29.04.22 by Michael Sammler

Hi everyone,

The assignment of the topics and scribes can be found at the bottom of the Main page (https://cms.sic.saarland/ct22/). You can also find your topic on https://cms.sic.saarland/ct22/students/view .

The discourse is available at https://category-seminar-discourse.mpi-sws.org/ .

The… Read more

Hi everyone,

The assignment of the topics and scribes can be found at the bottom of the Main page (https://cms.sic.saarland/ct22/). You can also find your topic on https://cms.sic.saarland/ct22/students/view .

The discourse is available at https://category-seminar-discourse.mpi-sws.org/ .

The homework for the next week and the solution for sheet 1 is available from the materials. The solutions for sheet 2 and the notes from the lecture today will follow soon (hopefully this afternoon).

Room for Seminar

Written on 28.04.22 by Jan Menz

Hello everyone,

as announced last week, the Category Theory Seminar is going hybrid. This means that, should you wish to, you can participate in person starting tomorrow.

The seminar will take place in room 029 in MPI-SWS (E 1.5).

We will not have this room on May 13th. We will let you know… Read more

Hello everyone,

as announced last week, the Category Theory Seminar is going hybrid. This means that, should you wish to, you can participate in person starting tomorrow.

The seminar will take place in room 029 in MPI-SWS (E 1.5).

We will not have this room on May 13th. We will let you know where the seminar takes place on that date in due time.

Assignment of topics

Written on 26.04.22 by Michael Sammler

Hi, everyone.

We have updated the list of topics on the main site of the CMS. Now it is your turn to decide about which of the topics you are interested in leading the discussion! As a reminder, each student who is officially taking the course needs to lead the discussion of one topic. (If you are… Read more

Hi, everyone.

We will handle the assignment of topics via the tutorial assignment system of the CMS. The process for you works as follows:
1. Look at the list of topics at https://cms.sic.saarland/ct22/ and decide which you do (not) want to lead.
2. Go to your personal status page (should be at https://cms.sic.saarland/ct22/students/view ) and give preferences to topics via the tutorial preference selection mechanism. Each topic corresponds to one tutorial (except the "For auditing students" tutorial which you should ignore and give 0 points). Note that this assignment works by giving points to the topics / tutorials you do not want to lead. Input your preferences until the lecture this Friday (29.4.).
3. We will do the assignment of topics during the lecture on Friday 29.4.. Make sure to attend this lecture as we will assume that people not attending the lecture on 29.4. have dropped out of the course.

Please let us know if you have any questions.