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

[Artem Pelenitsyn]

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