2012-04-29 終対象, 積, イコライザ, プルバックの相互関係 積を終対象(1)とプルバックで. A×B ─→ A │ │ ↓ ↓ B ──→ 1 f,g:A→Bのイコライザをプルバックと積で. E ──→ A │ │ │ │<A,f> ↓ ↓ A ──→ A×B <A,g> プルバックを積とイコライザで. P B \ ┐│ ┘ / │ A×B │ / │ └ ↓ A ────→C