If you discover any errors in these notes, please let me know, and we'll try to correct them (the old-fashioned way, using correction fluid) and rescan the pages. Here's a list of the errors we've spotted so far:
S
The rectanguar box should be labelled not "an object a ∈ FinSet0" but
an object a ∈ A
The 3-element set below that should be labelled not "a + {∗}" but
S + {∗}
The 3-element set at the bottom is, as it says, {1,2,3}. The point here is that there are two functors from A to FinSet0, and the object a ∈ A is being sent by these two functors to S and {1,2,3}.
In the class, we were just making up these pictures as we went along. We eventually developed a pretty consistent and clear pictorial notation for stuff operators, but this first attempt was not so great!