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)Beantworten

Definition Funktor

Letzter Kommentar: vor 10 Jahren2 Kommentare2 Personen sind an der Diskussion beteiligt

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)Beantworten

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)Beantworten

Abschnitt hinzufügen