如图，要证明三角形就是id x id, 等于是说要证明态射的复合Id = pr 复合 上id x id ，但是这不是在Set范畴里，是在一般的范畴上，请问投影态射pr: X1 x X2 x .... ---> Xi 是怎么定义的呢？能不能举个例子？