[PL-sem-jr] August 20th: Section 2.6

[Artem Pelenitsyn]

Dear all,

We mostly finished 2.5 last time (examples of products), although left a
bit confused
about the connection between STLC and natural deduction. In particular, why
they
had to factor by βη on the STLC side and didn't have to do anything like
that on the logic side,
seemingly losing the isomorphism of the said categories.

We'll probably move on with 2.6 (categories with products) tomorrow, Thu,
Aug 20th, 3 PM ET.
Try to read it in advance if possible.

Hope to see you then!

--
Kind regards, Artem & Julia
-------------- next part --------------
HTML attachment scrubbed and removed