Fix examples/category for new by

Fix category theory scripts in light of pat_assum rename

Fixes to category theory example in light of 92317114

Update to category theory example.

Main new result is a Yoneda embedding into the category of zfset-valued
presheaves, whose properties are (mostly) simply inherited from the
simpler embedding into the category of (predicate-)set-valued
presheaves.