 Duality (category theory)

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.