積 (圏論)
図式を用いる代わりに、対象の積を等式的に定めることができる。その場合例えば、二項の積は
一意な射 f が存在することは、二項演算 ⟨–, –⟩ の存在性によって保障される。
図式の可換性は等式 πi ∘ ⟨f1, f2⟩ = fi (i = 1, 2) が任意の f1, f2 について成り立つことによって保障される。
f の一意性は任意の f に対し等式 ⟨π1 ∘ π2⟩ = f が成り立つことによって保証される。