Author: Peter Heinig Format: Textcreated [[twosets_op_with_names20170618]], which is Illustration of opposite of the category that [[twosets20170617]] is an illustration of.
[[twosets_op_with_names20170618]] is identical to [[twosets_op_nonames20170618]] except for the morphisms having names.