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

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