1 Answers
In category theory, a category with a terminal object 1 {\displaystyle 1} is well-pointed if for every pair of arrows f , g : A → B {\displaystyle f,g:A\to B} such that f ≠ g {\displaystyle f\neq g} , there is an arrow p : 1 → A {\displaystyle p:1\to A} such that f ∘ p ≠ g ∘ p {\displaystyle f\circ p\neq g\circ p}.
6 views
Answered