Adjungovaný funktor
Adjunkce je v teorii kategorií vztah mezi dvěma funktory (a tím i vztah mezi dvěma kategoriemi), které se označují jako adjungované funktory, což se značí jako , přičemž je adjungovaný zleva ke (a naopak je adjungovaný zprava k ).
Máme-li funktory a , pak je , pokud pro každé a existuje bijekce přirozená v obou parametrech.
Existence adjungovaných funktorů mezi dvěma kategoriemi vyjadřuje mírnější obdobu ekvivalence těchto kategorií.
Adjungované funktory mezi kategoriemi jsou zobecněním Galoisovy korespondence mezi částečně uspořádanými množinami. V obecné algebře se používají mimo jiné ke generování volných objektů.
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. |