A partial function A ⇀ B ⇀ 𝐴 𝐵 A\rightharpoonup B a morphism in the Kleisli Category of the Partial Map Classifier.