 Dual (category theory)

In category theory, the concept of "dual" is used to refer to the correspondence between certain categorical constructs by reversing arrows (morphisms) in a category.