積 (圏論)
C を適当な対象 X1, X2 をもった圏とする。X1 と X2 との積とは、X1 × X2 と書かれる C の対象と二つの射 π1:X1 × X2 → X1 および π2: X1 × X2 → X2 との組で、以下の普遍性を満たすものを言う。