2011-07-14 3. Duality ぱらぱらめくる『Category Theory』by Steve Awodey ぱらぱらめくるシリーズ 圏論 Initial/Terminal, Epimorphisms/Monomorphisms もdualityの例 dom/cod f/g ペアでできた世界がある その世界では何かが言える ペアを入れ替えたら、それは別の世界 別の世界でも何かが言える 「何かが言える」ことは、両方で共通する(から片方の世界で「言える」ことがわかればよい)