We meet every Tuesday in Nygaard-395 from 14 to 16.
|Meeting||Date||Topic||Reading||Most relevant exercises|
|01||Tue Aug 28||Basics|
|02||Tue Sep 4||Categories||SA Ch. 1||SA Ch. 1: 1, 2, 3, 5, 6, 7, 11|
|03||Tue Sep 11||Abstract Structure||SA Ch. 2||SA Ch. 2: 1-5, 13-15, 17, 18|
|04||Tue Sep 18||Duality||SA Ch. 3||SA Ch. 3: 1-4, 6(monoids), 10-14|
|05||Tue Sep 25||Limits and Colimits||SA Ch. 5||SA Ch. 5: 1-4, 6|
|06||Tue Oct 2||Limits and Colimits||SA Ch. 5||SA Ch. 5: 7-12|
|07||Tue Oct 9||Exponentials||SA Ch. 6||SA Ch. 6: 2-4, 6, 8-13, 16|
|08||Tue Oct 23||HOL in Set||LB-AB Sec. 1-3||Exercises in the section|
|09||Tue Oct 30||Naturality||SA Ch. 7||SA Ch. 7: 4, 6-9, 11-13, 15, 17|
|10||Tue Nov 6||Categories of Diagrams||SA Ch. 8||SA Ch. 8: 1, 3, 6, 7|
|11||Tue Nov 13||Adjoints||SA Ch. 9||SA Ch. 9: 1-5, 8, 9, 11, 17, 18|
|12||Tue Nov 20||Hyperdoctrines||LB-AB Sec. 4||Exercises in the section|
|13||Tue Nov 27||U-based Hyperdoctrines||LB-AB Sec. 5-6.1||Exercises in the section|
|14||Tue Dec 4||TBA|
SA refers to the book Category Theory by Steve Awodey. Second edition.
LB-AB refers to our lecture notes on categorical logic. They are available online.
SA Ch. 1
Some of the examples in section 1.4 in the chapter are not relevant for us in the rest of the course. In particular examples 9, 10 and 11.
If you are not familiar with Cayley’s theorem then it is safe to skip that theorem in section 1.5, as well as theorem 1.6.
We will not use free categories in the rest of the course, so this part of section 1.7 is safe to skip. However do read and understand the part about free monoids. They are an example which comes up often.
SA Ch. 2
Projective objects are safe to skip. If you are not already familiar with projective modules, or similar structures, then it is not going to be very meaningful.
The section on generalized elements starts with some very specific examples which, if you are not already familiar with, you do not have to spend time understanding. The important part of that section is on page 36 and onwards.
Examples 5 and 6, and Remark 2.18 in Section 2.5 are safe to skip if you are not familiar with the material. We will see a more systematic presentation of Example 6 later in the course.
SA Ch. 3
In Example 3.6 you can skip the coproduct in Top example if you are not familiar with topological spaces. But do read and understand the coproduct of posets (they also appear later in the chapter).
Example 3.8 is somewhat informal. In particular the notion of equality of proofs. It is safe to skip the details. We will see a more precise treatment of a similar setup later.
Example 3.10, together with Proposition 3.11, is safe to skip.
In Example 3.22 the general setup, with a general notion of an algebra, is perhaps a bit difficult to understand precisely. I suggest you try to understand it in the case of monoids or groups. In particular you should understand the statement and the proof of Proposition 3.24.
SA Ch. 5 (first part)
For the fifth meeting you should read until about Definition 5.15 on page 101. Pullbacks are a very important notion.
SA Ch. 5 (second part)
The example involving Boolean algebras and ultrafilters just after Corollary 5.27 can be skipped. Examples 5.28, 5.29 and 5.32 can be skipped if you are not familiar with the subject matter.
SA Ch. 6
We will go into more details on lambda calculus in the next session, so it is fine to only skim those sections in the chapter. In particular that means Section 6.6 and the part of 6.7 after Definition 6.21.
You can also skip Example 6.6 about exponentials of graphs.
SA Ch. 7
The most important concepts in this chapter are the notions of a functor category, natural transformation and equivalence of categories.
Some of the examples involve notions, such as vector spaces or topological spaces with which you might not be familiar. These can be omitted, but if you are familiar with the concepts then the examples might be useful to read to understand how the abstract definitions generalise the known concepts.
In Example 7.3 you can skip the part about topological spaces and rings on page 151. You can skip section 7.3 on Stone duality. You can skip example 7.12 if you do not know about vector spaces. If you do, then this is a classical example of naturality so useful to know.
You can skip section 7.8 on monoidal categories. They are an interesting and important concept, but to study them in any detail would require a course of its own.
You can skip everyting after (and including) Example 7.30 on page 178.
SA Ch. 8
You can skip the part of section 8.1 about simplicial sets.
The most important part of this section is the Yoneda embedding and the Yoneda lemma.
Proposition 8.10 provides a very formal construction which is then used in Propositions 8.12 and 8.13. Although the construction is important and useful to know, it might be difficult to digest. I will present a more elementary proof, which does not use Proposition 8.10, of the fact that categories of diagrams are cartesian closed (essentially Theorem 8.14) at the meeting Thus the material in Propositions 8.10, 8.11, 8.12, 8.13 is optional.
You can skip Proposition 8.11.
You can skip the section on topoi (or toposes). We will study closely related notions (hyperdoctrines) later on with more motivation and more concrete examples.
If you are comfortable with Proposition 8.10 then you can try exercises 2 and 8 as well.
SA Ch. 9
You can skip Examples 9.10 and 9.11 and Section 9.5.
One of the most important facts you should remember is that right adjoints preserve limits, and left adjoints preserve colimits.
You can skip everything after Example 9.15 and until (but not including) Section 9.8.
The adjoint functor theorem in general is a non-trivial and subtle result. We will not consider the result in general but do look at Example 9.33 on page 242. It is a special case of the adjoint functor theorem which is much simpler to prove and to use. Thus skip Section 9.8, apart from Example 9.33, until page 246. The final part of Section 9.8 defines and studies the natural numbers object and does not use any of the preceding facts, so please read that.
|Handin||Hand out date||Hand in deadline||Link to PDF|
|1||Tuesday September 11||Tuesday September 18||Assignment 1|
|2||Tuesday September 18||Tuesday September 25||Assignment 2|
|3||Tuesday October 02||Tuesday October 09||Assignment 3|
|4||Tuesday October 09||Tuesday October 23||Assignment 4|
|5||Tuesday October 30||Tuesday November 06||Assignment 5|
|6||Tuesday November 13||Tuesday November 20||Assignment 6|
|7||Tuesday November 27||Tuesday December 04||Assignment 7|
At the exam you will randomly pick one of the topics below. Then you can look very briefly at your outline and then you should start presenting something related to the chosen topic, for 13 minutes, and then the examiners will ask you some questions. Time is short so think carefully about what you want to present and how much to write on the board. The exam will last 20 minutes in total.
- Limits and colimits
- Categories of Diagrams
Exam schedule for January 03
The exam starts at 12:30. The list of participants is as follows.
- Andreas Aagaard Lynge
Exam schedule for January 22
The exam starts at 09:00. The list of participants is as follows.
- Aina Georges
- Simon Friis
- Emil Gjørup
- Jakob Botsch Nielsen
- Søren Eller Thomsen
- Jeppe Blaabjerg
- Simon Oddershede Gregersen
- Lasse Letager Hansen