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

[Artem Pelenitsyn]

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