Well-pointed category

In category theory, a category with a terminal object formula_1 is well-pointed if for every pair of arrows formula_2 such that formula_3, there is an arrow formula_4 such that formula_5. (The arrows formula_6 are called the global elements or "points" of the category; a well-pointed category is thus one that has "enough points" to distinguish non-equal arrows.)