Neka je kategorija, tada je njena dualna kategorija (engl. dual category; sinonim: suprotna kategorija, engl. opposite category) kategorija ili koja je zadana sa: , i ako s označimo kopiju objekta iz shvaćenog kao objekt u i s kopiju morfizma shvaćenog kao morfizam iz , tada je po definiciji za svaki morfizam u
tj. strelice su okrenute u suprotni smjer. Tada je nova kompozicija (more precisely ) definirana u suprotnoj kategoriji onda i samo onda kad je definirana u i to formulom
Created on December 10, 2009 at 15:27:08. See the history of this page for a list of all contributions to it.