coproduct
Főnév
coproduct (tsz. coproducts)
- (matematika) A kategóriaelméletben a koprodukció vagy kategorikus összeg egy olyan konstrukció, amely példaként tartalmazza a halmazok és topológiai terek diszjunkt unióját, a csoportok szabad szorzatát, valamint a modulok és vektorterek közvetlen összegét. Egy objektumcsalád koproduktja lényegében az a „legkevésbé specifikus” objektum, amelyre a család minden egyes objektuma megenged egy morfizmust. Ez a kategóriaelméleti duális fogalma a kategorikus terméknek, ami azt jelenti, hogy a definíciója megegyezik a termékével, de minden nyíl fordítva van. A név és a jelölés e látszólag ártalmatlan változása ellenére a koprodukciók egy adott kategórián belül drámaian különbözhetnek és jellemzően különböznek is a produktumoktól.
Translated with www.DeepL.com/Translator (free version)