1.和(余積)の定義 圏論での和(余積)は積とは双対の概念である。積のところで定義されていた写像のドメインとコドメインを交換することで、即ち、可換図式での矢印を反対向きにすることで、また、積の演算\(\times\)を和の演算\(+\)に代えることで和は…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。