定義

終対象1をもつ圏\mathscr{A}がwell-pointedであるとは、

1が始対象ではなく、\mathscr{A}の任意の相異なる射X\overset{f}{\underset{g}\rightrightarrows}Yにたいして、射x:1\to Xのことで、

f\circ x\ne g\circ xなるものが存在する時に言う