generated at
2/16/2025, 8:12:45 PM
切片
from
集合
section
圏
\mathscr{A}
の射
f:A\rightarrow B
の切片とは、
\mathscr{A}
の射
i:B\rightarrow A
であって、
f\circ i=1_B
となるもの
切片を持つ任意の射は全射
→
選択公理
これ、
逆射
と何が違うの？
