IT練習ノート

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

math

終対象、積、プルバック、イコライザ、極限をざっくり整理

ざっくり表にしてみた。 対象 射 錐 終対象 なし なし なし 積 2個 なし 2個 プルバック 3個 2個で1つに向かう 3個(通常1個省略) イコライザ 2個 2個で平行 2個(通常1個省略) 極限 たくさん たくさん たくさん 引用元:General limits and colim…

関数のキャンセル

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