quasitotal preorder

References.

• Restriction Categories I, Categores of Partial Maps (Cockett, Lack, 2002). This order generalizes the one presented in this paper, paragraph 2.1.4.

Tags: partial Markov category, quasitotal morphism, conditionals are unique up to ranges.