-
Notifications
You must be signed in to change notification settings - Fork 0
Spring 2021
Wednesdays @ 2–3pm in Andrew's Zoom
As in Summer 2020,
We are continuing with working through Steven Awodey's book on Category Theory(*) that we started on Spring-2020.
(*) Contact Andrew for a copy.
We are also going through Edward Morehouse's OPLSS '15 lecture series on Categorical Semantics for Proof Theory. Donald has kindly published a de-noised YouTube playlist. We also use Morehouse's notes.
Attendees: Artem, Cameron, Donald, Julia, Olek.
Summary: We made it through 3.2.5 (contexts). Next stop: co-products.
- Discussed structural rules.
Note. Call-by-push-value book might have something on the categorical interpretation of linear types. - Found out that there is another version of OPLSS notes, which has more type theory-related stuff than the version we were using.
Homework: Watch the first half of lecture 4.
Attendees: Andrew, Artem, Cameron, Donald, Julia, Olek.
Summary: We discussed even more of OPLSS lecture 3. We made it to 3.2.5 in the notes.
Homework: Watch the first half of lecture 4.
Attendees: Andrew, Artem, Cameron, Julia, Olek.
Summary: We discussed more of OPLSS lecture 3. We made it to 3.2.2 in the notes.
Homework: Watch the first half of lecture 4.
Attendees: Andrew, Artem, Cameron, Donald, Julia.
Summary: We discussed some of OPLSS lecture 3. We stopped at products.
Homework: Watch the rest of lecture 3.