Course syllabus

Jump to today

LOG350: Category Theory, 7.5 credits, Spring 2026

This course is both part of the Master in Logic as well as available as a free standing course. The course normally runs in the first period of the second semester. The course will be taught by XX. A schedule is available in TimeEdit.  You will be able to register on the course one week before it starts. When you have registered for the course you will get access to more course information. You can find information regarding registration here.

Course content

"Category theory takes a bird’s eye view of mathematics. From high in the sky details become invisible, but we can spot patterns that were impossible to detect from ground level. How is the lowest common multiple of two numbers like the direct sum of two vector spaces? What do discrete topological spaces, free groups, and fields of fractions have in common? We will discover answers to these and many similar questions, seeing patterns in mathematics that you may never have seen before."

- Tom Leinster, Introduction of Basic Category Theory.

The course covers the following topics: Categories, functors, natural transformations. Limits and Colimits. Adjunctions. Toy Category Theory: posets. Yoneda: Presheaves, representability, Yoneda embedding. Monads. Kan extentions. Towards enriched categories: monoidal (closed) categories and enrichments.

Literature and study material

You can pick the book you like better among the following. We have copies in the library of all of them.

Examination

The exam comprises of two homework (25%+25%) and an oral examination (50%). Each of these three parts of the exam is graded from 1 to 10. The student's final mark will be U is the weighted mean is strictly below 5, G if the weighted mean is between 5 and 7, VG if the weighted mean is strictly above 7.

Contact information

  • Course coordinator XX, answers questions about the course content, literature and schedule.
  • Education administrator Sandra Schriefer, sandra.schriefer@gu.se answers questions about registration, study interruptions, study breaks, certificates, etc. 
  • Education administrator Annika Herrström, annika.herrstrom@gu.se answers questions about examination administration.
  • Program Coordinator Ivan Di Liberti, ivan.di.liberti@gu.se is responsible for programme issues and study guidance for students of the programme.
  • Education Coordinator Andreas Ott, andreas.ott@gu.se
  • If you have a disability and are in need of special pedagogical support please see the information available at the student portal. 
  • Here you can search for your course code to find litterture list and syullabus. LINK.

Course summary:

Course Summary
Date Details Due