Well-pointed category

From Wikipedia, the free encyclopedia

In category theory, a cartesian closed category is well-pointed if for every pair of arrows f,g:A\to B such that f\neq g, there is an arrow p:1\to A such that f\circ p\neq g\circ p.

This category theory-related article is a stub. You can help Wikipedia by expanding it.