Dualitás (kategóriaelmélet)

A kategóriaelméletben a dualitás egy C kategória és a C^op oppozit kategória tulajdonságai közötti összefüggés. Bármely, a C kategóriában megfogalmazott állításban megcserélve az összes morfizmus forrását és célját, valamint megfordítva a morfizmusok kompozícióinak sorrendjét, a C^op oppozit kategóriára vonatkozó ún. duális állítást kapunk. A dualitás mint olyan az a tény, hogy az állítások érvényessége invariáns ezen operációra nézve. Azaz ha egy állítás igaz C-ben, akkor a duális igaz C^op-ban, illetve ha hamis C-ben, akkor a duális hamis C^op-ban.

Ha C egy konkrét kategória (azaz hűségesen beágyazható a halmazok kategóriájába), akkor is előfordulhat, hogy C^op absztrakt kategória (azaz nincs ellátva egy beágyazással a halmazok kategóriájába). Ha ekkor D ekvivalens C^op-pal, akkor azt mondjuk, hogy C és D duálisak.

A C kategóriát önduálisnak nevezik, ha C és C^op ekvivalensek.

Példák

• Egy $f:A\to B$ morfizmust akkor neveznek monomorfizmusnak, ha bármely g, h morfizmuspárra ha $f\circ g=f\circ h$, akkor $g=h$. Ennek duálisa, hogy $g\circ f=h\circ f$-ből következik $g=h.$ Ha ez teljesül, az $f:B\to A$ morfizmust epimorfizmusnak nevezik. Tehát a monomorfizmus és az epimorfizmus duális tulajdonságok. Következésképpen a C kategória egy morfizmusa akkor és csak akkor monomorfizmus, ha a fordított morfizmus C^op-ban epimorfizmus.
• A limesz és kolimesz duális fogalmak.

Fordítás

• Sablon:Fordítás

Források

• Sablon:Cite book
• Sablon:Cite book
• Sablon:Cite web