I have updated this article. It now contains a definition of product and coproduct for arbitrary morphisms of a dagger category every of Hom-sets of which is a complete lattice.

Under certain conditions these products and coproducts are categorical (co)products for a certain category (“category of continuous morphisms”) having endomorphisms of the aforementioned category as objects.