積を終対象(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</a,g></a,f>