well-pointed
定義
終対象
$ 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
なるものが存在する時に言う