[PL-sem-jr] March 23rd Meeting Outcomes and Plans

[Artem Pelenitsyn]

The place to meet remains the same: https://meet.google.com/qxq-qawo-fiz

-- A & J

On Sun, 29 Mar 2020 at 11:29, Artem Pelenitsyn <a.pelenitsyn at gmail.com>
wrote:

> Dear all,
>
> This is a reminder that we have a meeting tomorrow. The agenda is in the
> previous email.
>
> --
> Best, Artem & Julia
>
> On Mon, Mar 23, 2020, 1:36 PM Artem Pelenitsyn <a.pelenitsyn at gmail.com>
> wrote:
>
>> Dear all,
>>
>> I summarized my recollections from today's meeting on the Github page:
>>
>>
>> https://github.com/nuprl/prl-seminar-junior/wiki/Spring-2020#mon-mar-23-930-am
>>
>> Feel free to edit / update / expand it if you feel like it!
>>
>> tldr; Read Awodey's book
>> <http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.211.4754&rep=rep1&type=pdf>,
>> sec. 1.1–1.5, and even if you don't, come to the next meeting — we should
>> enjoy Cats before the end of the world!
>>
>> --
>> Kind regards,
>> Artem & Julia
>>
>>
>>
>>
>>
-------------- next part --------------
HTML attachment scrubbed and removed