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

[Artem Pelenitsyn]

Hey guys,

This is just a reminder about tomorrow's meeting. The place to meet remains
the same: https://meet.google.com/qxq-qawo-fiz

-- A & J

On Thu, Apr 2, 2020, 10:31 AM Julia Belyakova <julbinb at gmail.com> wrote:

> 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
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>
-------------- next part --------------
HTML attachment scrubbed and removed