Well-pointed category


In category theory, a category with a terminal object is well-pointed if for every pair of arrows such that, there is an arrow such that.