[PL-sem-jr] Mid-april meetings

[Artem Pelenitsyn]

Hey juniors,

Last time we talked a bit about profunctors and the Hom-functor
specifically. This belongs to the end of Chapter 8 of the book. Next time
we pick up right from there and start Chapter 9 with the discussion of
internal vs. external Hom-objects (in fact, we alluded to it last time),
which'll lead us to the notion of exponential: Sections 9.1-9.3 of the
book. If have time, we will spill to the second half of Chapter 9 and
discuss CCC and Curry-Howard.

Hope to see you all next Wednesday!

--
Best, Artem
-------------- next part --------------
HTML attachment scrubbed and removed