Funktor
Funktor je pojem z matematiky, konkrétněji z teorie kategorií. Jde o zobecnění pojmu zobrazení. Funktor přiřazuje objektům nějaké kategorie objekty jiné kategorie a morfizmům kategorie morfizmy jiné kategorie.
Definice
Pro kategorie C a D je funktor F z C do D zobrazení,[1] které
- přiřadí ke každému objektu objekt ,
- přiřadí ke každému morfizmu morfizmus , tak, že je splněno
- pro každý objekt
- pro všechny morfizmy a .
Kovariantní a kontravariantní funktor
Definice výše je definice kovariantního funktoru. Kontravariantní funktor je takové zobrazení F, které morfizmu kategorie C přiřadí morfizmus v kategorii D a platí .
Tato část článku je příliš stručná nebo postrádá důležité informace. Pomozte Wikipedii tím, že ji vhodně rozšíříte. |
Reference
Externí odkazy
- Obrázky, zvuky či videa k tématu funktor na Wikimedia Commons
Tento článek je příliš stručný nebo postrádá důležité informace. Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty. |