Metadata
Author: WikiMatrix
Data
English[en]
Given a statement regarding the category C, by interchanging the source and target of each morphism as well as interchanging the order of composing two morphisms, a corresponding dual statement is obtained regarding the opposite category Cop.
Dutch[nl]
Gegeven een stelling met betrekking tot categorie C, wordt door het verwisselen van bron en doel van elke morfisme en tevens door het verwisselen van de volgorde waarin de twee morfismen zijn samengesteld, een overeenkomstige duale stelling verkregen met betrekking tot de tegenovergestelde categorie Cop verkregen.