Diskussion:Koprodukt

Es ist meiner Ansicht nach verwirrend zu schreiben:

$Mor_{C}(\coprod M_{i},Y)=\prod Mor_{C}(M_{i},Y)$

Tatsächlich sind die Mengen auf den verschieden Seiten der "Gleichung" nicht gleich, sondern nur isomorph. Auch sollte man sagen, wie der Isomorphismus definiert ist. Nämlich: Zu jedem Tupel aus

$(f_{j})_{j\in I}\in \prod Mor_{C}(M_{j},Y)$ gibt es genau ein $f:\prod M_{j}\rightarrow Y$ mit $f_{j}=f\circ i_{j}$ für alle $j\in I$.

Die Zuordnung $\Phi (Y)\colon \prod Mor_{C}(M_{j},Y)\ni (f_{j})\mapsto f\in Mor_{C}(\coprod M_{i},Y)$,

ist eine natürliche Äquivalenz insbesondere ein funktorieller Isomorphismus. Wenn man noch ein weiteres tun will, so kann man die Umkehrabbildung von $\Phi (Y)$ tatsächlich angeben. Die englische Seite zum Thema Coprodukt schildert dies exakt.

Wenn man mit dem Begriff arbeiten will, so sollte er so genau sein, dass man mit ihm rechnen kann.

--Hesmucet (Diskussion) 17:28, 17. Jul. 2016 (CEST)

Zusammenführen mit Produkt

Ich würde diesen Artikel gern mit Produkt zusammenführen. Einen Entwurf habe ich auf meiner Benutzerseite erstellt. Wer Fehler findet, möge sie mir bitte in die zugehörige Diskussion schreiben oder direkt editieren. Die beiden leeren (mit — gefüllten) Felder werde ich noch ausfüllen. Spezialist^(D) 13:35, 17. Jan. 2017 (CET)