Produkt (Kategorientheorie)

Deutschsprachige Wikipedia - Die freie Enzyklopädie

Produkt in der Kategorientheorie

In der Kategorientheorie ist das Produkt einer durch die Menge I indizierten Familie von Objekten

ein Paar

, wobei

P ein Objekt ist,
ein Morphismus (genannt Projektion) von P nach ist (für jedes i aus I),
und für jedes Objekt C und jede Familie von Morphismen von C nach es genau einen Morphismus f von C nach P gibt mit .