Given a category and objects , a pair of morphisms are jointly monic if for every object and pair of morphisms , and imply that .
In a well-pointed category , given objects , a pair of morphisms are jointly injective if for every global element , and imply that .
In every tabular allegory, a relation could be factored into jointly monic maps and such that .
Categories, Allegories
Mathematical Library Vol 39, North-Holland (1990).
Last revised on May 14, 2022 at 01:49:46. See the history of this page for a list of all contributions to it.