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

[Ellen Arteca]

Published version of the book

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

> 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
>>>
>>>
>>>
>>>
>>> _______________________________________________
> 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: [Oxford Logic Guides 52] Steve Awodey - Category Theory (2010, Oxford University Press).pdf
Type: application/pdf
Size: 1118899 bytes
Desc: not available
URL: <http://lists.ccs.neu.edu/pipermail/pl-sem-jr/attachments/20200330/dccd382e/attachment-0001.pdf>