2011-04-04から1日間の記事一覧
集合と写像の圏で、 レトラクション <=> 全射であることを示す*1。 fがレトラクション => f が全射 fがレトラクションだから、セクションを持つ: s f B ------> A ------> B s;f = id (1)一般に写像について、 φ ψ X ------> Y ------> Z ならば Z ⊇ Im ψ ⊇ …
集合と写像の圏で、 レトラクション <=> 全射であることを示す*1。 fがレトラクション => f が全射 fがレトラクションだから、セクションを持つ: s f B ------> A ------> B s;f = id (1)一般に写像について、 φ ψ X ------> Y ------> Z ならば Z ⊇ Im ψ ⊇ …