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 . (The arrows 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.)

### Famous quotes containing the word category:

“I see no reason for calling my work poetry except that there is no other *category* in which to put it.”

—Marianne Moore (1887–1972)