Diskussion:Funktor (Mathematik)

Ich sehe ein Problem mit der Zugrundelegung des Abbildungsbegriff und dem Gebrauch der daraus resultierenden Notation $F\colon {\mathcal {C}}\to {\mathcal {D}}$ . In dem entsprechenden Artikel ist nämlich der Fall des Abbildungsbegriffs für Klassen nicht sauber dargestellt. Siehe auch die dortige Diskussion! Schojoha (Diskussion) 23:20, 5. Nov. 2013 (CET)

Definition Funktor

Im Artikel Kategorietheorie heisst es das ein Funktor F zwischen die Kategorien C ud D eine Abbildung zwischen die Objekte der Kategorieen ist, d.h. $F:\mathrm {ob} (C)\to \mathrm {ob} (D)$.Nijdam (Diskussion) 18:04, 3. Feb. 2014 (CET)

Man betrachtet zwei (!) Abbildungen, nämlich die zwischen den Objektklassen und die zwischen den Morphismenklassen, wobei die Verträglichkeitsbedingungen gelten müssen. Dabei ist zu sehen, dass hier im Allgemeinen Abbildungen zwischen Klassen vorliegen. Der im Allgemeinen mit Mengen in Verbindung gebrachte Abbildungsbegriff ist also zu erweitern.Schojoha (Diskussion) 19:44, 3. Feb. 2014 (CET)