cocartesian square
ileri itim
-
Bir C kategorisinde, B, C1 ve C2 nesneleri ve f1 ∈ hom(B, C1), f2 ∈ hom(B, C2) için aşağıdaki koşulları sağlayan D nesnesi ve g1 ∈ hom(C1, D), g2 ∈ hom(C2, D) morfilerinden oluşan üçlü: 1. g2 ◦ f2 = g1 ◦ f1; 2. D’ nesnesi ve g’1 ∈ hom(C1, D’), g’2 ∈ hom(C2, D’), eğer g’2 ◦ f2 = g’1 ◦ f1 oluyorsa, g1’ = t ◦ g1, g’2 = t ◦ g olacak şekilde tek bir t ∈ hom(D, D’) vardır.
İngilizce amalgamated sum; cocartesian square; fibered coproduct; fibered sum; push-outFransızca somme amalgamée, fAlmanca amalgamierte Summe, f; Fasersumme, f; Kofaserprodukt, n; kokartesisches Quadrat, n; Pushout, n