-

Finished up the topos talk with the construction
of the coproduct in Sets.