アナロジーで対応関係を整理しみる。 方法 式での表現 集合でのfの性質 fのドメインコドメインの要素数 圏の用語 算数 左のキャンセル f * g1 = f * g2 <=> g1 = g2 fが単射 ドメイン<=コドメイン mono ? 右のキャンセル g1* f = g2 * f <=> g1 = g2 fが全射…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。