Punktfreie Definitionen: Produkt

Gegeben A, B∈Obj(C):

(P∈Obj(C), π_A : P→A, π_B : P→B) heißt Produkt von A mit B, falls:

für jedes Q∈Obj(C), f : Q→A, g : Q→B:

existiert genau ein h : Q→P mit f = hoπ_A, g = hoπ_B.

Übung:

• was bedeutet Produkt in der Kategorie einer Halbordnung?
• welcher Begriff ist dual zu Produkt? (alle Pfeile umdrehen)