Es seien A und B zwei Mengen.
Dann ist idB ∈ Abb(B, B) ein Element und wir definieren eine
Abbildung f : A → Abb(B, B) mit f(a) = idB für alle a ∈ A.
Es gehört zu f eine Abbildung f^♭: A × B → B.
(a) Bestimmen Sie die Abbildungsvorschrift von
f^♭: A × B → B
(b) Nun sei πB : A × B → B die natürliche Projektion mit πB(a, b) = b. Können Sie ohne
Rechnung die Abbildung (πB)^♯ bestimmen?
Wie geht das? Ich komme überhaupt nicht weiter und bin fast am verzweifeln. Ich würde mich sehr über einen Lösungsweg freuen.