Produkt in der Kategorientheorie
In der
Kategorientheorie ist das
Produkt einer durch die Menge
I indizierten Familie von Objekten
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!DZ6P2U34SE&type=0&index=1169)
ein Paar
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!DZ6P2U34SE&type=0&index=330)
, 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
.