-

Did some more revising of topos talk.
Got the coproduct in Sets worked out explicitly.