>>21の続き

よって、次の可換図式が成り立つような射 S → P が一意に存在する。

　S　　　→　　　S（S の単位射）
　↓　　　　　　↓
　P　　　→　　　P　（P の単位射）
　↓　　　　　　↓
　P_i　　→　　P_j
　↓　　　　　　↓
F(i, a)　→　F(j, a)
　↓　　　　　　↓
F(i, b)　→　F(j, b)

よって、φ：P → F は F の極限である。