Well-pointed category explained

1 is well-pointed if for every pair of arrows f,g:A\to B such that f ≠ g , there is an arrow p: 1 \to A such that f\circ p ≠ g\circ p . (The arrows p 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

• Pointed category

References

• Book: Pitts, Andrew M. . Nominal Sets: Names and Symmetry in Computer Science . 57 . Cambridge Tracts in Theoretical Computer Science . . 2013 . 978-1107017788 . 16 .