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.

Leave a Reply

Your email address will not be published. Required fields are marked *