Products in dagger categories with complete ordered Mor-sets

  • Victor Porton
  • Published 2014
and d ), having the order agreed with the dagger. Definition 2. The morphism f is: • monovalued iff f ◦ f ⊑ 1Dst f; • injective iff f † ◦ f ⊑ 1Src f; • entirely defined iff f † ◦ f ⊒ 1Src f; • surjective iff f ◦ f ⊒ 1Dst f. Definition 3. A morphism f of a partially ordered category is metamonovalued when ( d G)◦ f = d g∈G (g ◦ f) whenever G is a set of… CONTINUE READING