を任意のcategoryとする。 任意の について次のように定義する: Monomorphism ただし、式を未定義にするような の場合は除く*1。以下も同様とする。 Epimorphism Bimorphism Isomorphism このような が存在するとき、明らかにただ一つに定まるので、 と書く…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。