自然数対象
natural numbers object
定義
終対象
$ 1
を持つ圏
$ \mathscr{A}
において、自然数対象とは、
対象
$ N
、射
$ s:N\to N
および
$ z:1\to N
の組
$ \lang N,s,z\rang
で、
他の同様な組
$ \lang X,f,x\rang
に対して射
$ u:N\to X
で下図を可換にするものが一意に存在する時に言う
https://gyazo.com/a195c627362d667f6a79758e1045e472