切片
from
集合
section
圏
$ \mathscr{A}
の射
$ f:A\rightarrow B
の切片とは、
$ \mathscr{A}
の射
$ i:B\rightarrow A
であって、
$ f\circ i=1_B
となるもの
切片を持つ任意の射は全射
→
選択公理
これ、
逆射
と何が違うの？
mrsekut.icon