IT練習ノート

IT関連で調べたこと(実際は嵌ったこと)を書いています。

2015-01-07から1日間の記事一覧

関数のキャンセル

アナロジーで対応関係を整理しみる。 方法 式での表現 集合でのfの性質 fのドメインコドメインの要素数 圏の用語 算数 左のキャンセル f * g1 = f * g2 <=> g1 = g2 fが単射 ドメイン<=コドメイン mono ? 右のキャンセル g1* f = g2 * f <=> g1 = g2 fが全射…