Duality (category theory) (source code)

= Duality
{disambiguate=category theory}
{wiki}

= Duality in category theory
{synonym}

Reversing the arrows in a categorical statement produces its dual statement. A theorem holding for all <categories> therefore has a dual theorem obtained by applying it to the <opposite category>; for example, <categorical limits> are exchanged with <colimits>.