[PL-sem-jr] March 30 summary + plan for April 6

[Julia Belyakova]

Dear all,

At the last meeting, we discussed examples from section 1.4 of Awodey's
book.
Feel free to add information to the wiki (as always):
https://github.com/nuprl/prl-seminar-junior/wiki/Spring-2020

For the next meeting (April 6), try to finish chapter 1 of the book
<http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.211.4754&rep=rep1&type=pdf>.
We plan to start with isomorphisms (section 1.5).

Stay safe! Go Cats :)

--
Kind regards, Artem&Julia
-------------- next part --------------
HTML attachment scrubbed and removed