Skip to content
September 16, 2013 / porton

New concept: metamonovalued morphisms

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 f to be monovalued when \circ f^{-1}\le \mathrm{id}_{\mathrm{Dst}\, f}.

I call a morphism f metamonovalued when (\bigwedge G) \circ f = \bigwedge_{g \in G} ( g \circ f) for every set G of morphims (provided that the sources and domains of the morphisms are suitable). Here \bigwedge 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?


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: