3. Duality ぱらぱらめくる『Category Theory』by Steve Awodey

  • Initial/Terminal, Epimorphisms/Monomorphisms もdualityの例
  • dom/cod
  • f/g
  • ペアでできた世界がある
  • その世界では何かが言える
  • ペアを入れ替えたら、それは別の世界
  • 別の世界でも何かが言える
  • 「何かが言える」ことは、両方で共通する(から片方の世界で「言える」ことがわかればよい)