Can two morphisms (say of the category Set, but also in every category with binary product) be restored knowing a product of these two morphisms?
I'm especially interested in the case if one of the morphisms is empty, e.g. is the morphism from an empty set to an empty set.