[PL-sem-jr] July 30th: Start Section 2.2

[Julia Belyakova]

Hello all,

On July 23rd we finished reading 2.1. We kind of got stuck on the statement
that "free objects in many categories of algebras are also projective" and
would like to understand how exactly that works. Is a free monoid a
projective object, or is the alphabet of the free monoid projective, or
something else?

We will start with that question next time, and then read 2.2.

Have a nice weekend!

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