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

[Artem Pelenitsyn]

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