Punktfreie Definitionen: Produkt

Gegeben A, B∈Obj(C):

(P∈Obj(C), πA : PA, πB : PB) heißt Produkt von A mit B, falls:

für jedes Q∈Obj(C), f : QA, g : QB:

existiert genau ein h : QP mit f = hoπA, g = hoπB.


Übung:



Johannes Waldmann 2011-01-18