Functorial polymorphism (Q753948)

The authors study two semantic approximations to Strachey's parametric polymorphism. The first one insists on certain naturality conditions on indexed families of functions and therefore interprets universal type abstraction as only a part of the product over all types. Types are approximated by functors and terms by natural transformations between types, all defined over some cartesian closed category of ``ground'' types. The second approximation is based on a version of Reynold's invariance condition.