category theory describes representable functors functor categories duality every statement theorem definition category theory ' 'dual'' essentially obtained reversing arrows one statement true category ''c'' dual true dual category ''c'' sup op sup duality transparent level category theory often obscured applications lead surprising relationships adjoint functors functor left right adjoint another functor maps opposite direction pair adjoint functors typically arises
Formal science Mathematics Pure mathematics Algebra Category theory