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

See also

References


This article is issued from Wikipedia - version of the 2/2/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.