The notion of strong dinatural transformation is a notion of natural transformation between pairs of functors that is stronger than that of dinatural transformations. Unlike dinatural transformations, strong dinatural transformations can always be composed. They have close connections to parametricity in computer science. Let be functors. A strong dinatural transformation consists of, for each , a component , such that for any morphism in and any span in , if the square on the left commutes,...