Autonomous categories and duality of functors