[PL-sem-jr] Meetings on Apr 27th and May 4th

[Artem Pelenitsyn]

Reminder, meet in an half an hour!

https://meet.google.com/qxq-qawo-fiz


On Wed, Apr 29, 2020, 4:12 PM Artem Pelenitsyn <a.pelenitsyn at gmail.com>
wrote:

> Hey guys,
>
> We went through the first two Exercises in Awodey's book (Sect. 1.9).
>
> Max suggested a curious _CS_ exercise about free categories in addition!
> I attach the PDF he shared in Slack.
>
> Next time we are going to proceed with these exercises. See you then!
> Feel free to join even if you missed past (several) meetings.
>
> Meeting link: https://meet.google.com/qxq-qawo-fiz
>
> --
> Best, Artem
>
-------------- next part --------------
HTML attachment scrubbed and removed