Well-pointed category
http://dbpedia.org/resource/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.)
rdf:langString
rdf:langString
Well-pointed category
xsd:integer
9501159
xsd:integer
702894605
rdf:langString
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.)
xsd:nonNegativeInteger
827