Let fix some dagger category every of Hom-sets of which is a complete lattice, and the dagger functor agrees with the lattice order.
I define a morphism to be monovalued when .
I call a morphism metamonovalued when for every set of morphims (provided that the sources and domains of the morphisms are suitable). Here denoted the infimum on the above mentioned complete lattice.
In my book (recently added to the preprint) I have proved that every monovalued funcoid is metamonovalued. Thus there is probably some connection between monovalued and metamonovalued morphisms.
The following problems are yet open:
Question Is every metamonovalued funcoid monovalued?
Question Is every metamonovalued reloid monovalued?
Question Is every monovalued reloid metamonovalued?