商集合
同値類全体の集合
元は同値類$ C
とある「集合の集合」
集合$ Sの部分集合
$ S/\simと表記する
集合$ Aの同値類からなる集合$ A/\sim
https://gyazo.com/1ba4e64d67d593ce7cd19a2184d950ac
この図全体を集合$ Sとしてこれの一つ一つのまとまりが同値類なら
商$ S/\sim\; = {△, □, \}
射$ p: A\rightarrow A/\simを考える
https://gyazo.com/0a8c3af3843913f2b28463c5350b8b6e
これは全射
同値類は同じ元へ行く
ここまではわかるmrsekut.icon
ベシ圏.icon p.83の「$ pを経由して一意的に分解」の意味が??mrsekut.icon
$ \overline{f}ってなんや？