-
Notifications
You must be signed in to change notification settings - Fork 0
Summer 2021
Mondays @ 1:30–2:30pm 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: Andrew, Artem, Julia, Olek.
Summary: We (finally) finished 4.3.3. We spent some time drawing adjunction diagrams for the examples at the end of the section.
Homeowork: Draw the diagram for Diagonal -| Prod.
Note: We may not meet next week because of POPL response + start of semester.
Attendees: Andrew, Artem, Julia, Olek.
Summary: We made it up to (but not including) Definition 4.3.2.3 in the notes. We continue to struggle reading string diagrams, and in particular relating them to their algebraic counterparts.
Homework: Exercise 4.3.2.2 from the notes.
Attendees: Andrew, Artem, Julia, Olek.
Summary: We looked at String Diagrams but weren't sure how to apply them. We're going to look to the 2016 lectures for help, since they aren't covered in the 2015 lectures.
Homework: Watch Lecture 4.4.
Attendees: Andrew, Artem, Donald, Julia, Olek.
Summary: We made it through Chapter 3! There was some confusion about the interpretation of judgments vs. terms, which came from a notational update (downgrade?) between versions of the notes.
Homework: Watch Lecture 4 Part 3 and Part 4.
SCHEDULING NOTE: For next week only: Rescheduling to Weds 06/09, 1:30–2:30p.
Attendees: Andrew, Artem, Donald, Julia, Olek.
Summary: We made it through 3.4.1: Exponentials of Objects.
Homework: Watch (or rewatch) Lecture 4 Part 1 and Part 2. Read through the end of Chapter 3 in the notes.
Attendees: Andrew, Artem, Cameron, Donald, Julia.
Summary: We made it through 3.3: Coproducts. We also discussed differences between OPLSS '15 vs. '16 notes, including "baby" type theory.
Homework: Watch the Lecture 4 Part 1 and Part 2.
Scheduling: We decided on a new regular meeting time, Mondays @ 1:30–2:30p. Next week we are making an exception and meeting Wednesday, 6/2 @ 1–2p instead of Monday, 5/31 (Memorial Day).