Given a category$C$ and objects $a, b \in Ob(C)$, a pair of morphisms$f, g \in C(a, b)$ is jointly monic if for every object $c: Ob(C)$ and pair of morphisms $h, k \in C(c, a)$, $f \circ h = f \circ k$ and $g \circ h = g \circ k$ imply that $h = k$.

In a well-pointed category$C$, given objects $a, b \in Ob(C)$, a pair of morphisms$f, g \in C(a, b)$ is jointly injective if for every global element$h, k \in C(1, a)$, $f \circ h = f \circ k$ and $g \circ h = g \circ k$ imply that $h = k$.

More generally, we can consider a jointly monic family of morphisms, where we indexed over a set $I$. When $I$ is a singleton set, this reduces to a monomorphism, and when $I$ is a two-element set, this reduces to a jointly monic pair. (And similarly for joint injectivity.)

In tablular allegories

In every tabular allegory, a relation $R$ could be factored into jointly monic maps$f$ and $g$ such that $f^\dagger \circ g = R$.

Examples

Taking $C = Set$, and ${ F_i : X \to Y }_{i \in I}$ to be a family of functors, joint monicity of $(F_i)_{x, x'} : X(x, x') \to Y(F_i x, F_i x')$ is the notion of joint faithfulness (which specialises to the notion of faithful functor when $I$ is a singleton).