[PL-sem-jr] August 6th: Section 2.3

[Artem Pelenitsyn]

Hello all!

Reminder: this will happen tomorrow (see the attached message for details).

The venue is here: https://meet.google.com/qxq-qawo-fiz

--
Best, Artem & Julia

On Fri, 31 Jul 2020 at 18:09, Artem Pelenitsyn <a.pelenitsyn at gmail.com>
wrote:

> Hello all,
>
> On July 30th we:
>
> * discussed the last statement in 2.1 about free monoid being projective
> -- an observation that, following ncatlab
> <https://ncatlab.org/nlab/show/projective+object#ExistenceOfEnoughProjectives>
> employs adjunction between the free monoid and forgetful functors --
> something we have not covered yet,
> * went through 2.2 (initial/terminal objects), which was mostly an easy
> ride, and
> * started 2.3, got through the first couple examples, and finished with
> the example of ultrafilters in boolean algebras corresponding to arrows
> into the terminal object there.
>
> We will go on with 2.3 next week. Hope to see you next time!
>
> Have a tremendous weekend!
>
> --
> Kind regards, Artem&Julia
>
-------------- next part --------------
HTML attachment scrubbed and removed