Dual (category theory) (source code)

= Dual (category theory)
{wiki=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.