Az "adjunkció" szó jelentése a magyar nyelvben jellemzően a matematikában, különösen az algebrai topológiában és a kategóriaelméletben fordul elő. Az adjunkció két funktor között egy speciális kapcsolatot ír le, ahol kölcsönös visszacsatolás van a két struktúra között. Ha két kategóriát tekintünk, mondjuk A és B, és van két funktorunk, ( F: A rightarrow B ) és ( G: B rightarrow A ), akkor a ( F ) és ( G ) adjunkcióban vannak, ha létezik egy természetes izomorfizmus a következő hom-setek között:
[ text{Hom}_B(F(a), b) cong text{Hom}_A(a, G(b)) ]
Ez azt jelenti, hogy minden a objektumra az A kategóriából és minden b objektumra a B kategóriából, van egy egy-az-egyben megfelelés a funktorok által létrehozott morfizmusok között.
Példák adjunkciókra:
- Szorzat és hatványhalmaz: Az ( F(x) = x times B ) és a ( G(y) = y^B ) funktorok közötti adjunkció, ahol a hatványhalmaz funktor a morfizmusok közötti megfeleltetést adja meg.
- Free-forgetful adjunction: A szabad csoport funktor (amely minden halmazhoz rendeli a szabad csoportot) és a felejtő funktor (amely egy csoportot visszakonvertál egy halmazzá) közötti adjunkció.
Ezek az adjunkciók segítenek egyszerűsíteni és jobban megérteni a matematikai struktúrák közötti kapcsolatokat.
