Parametric limits
BP Dunphy, Uday S. Reddy · 2004
We develop a categorical model of polymorphic lambda calculi using a notion called parametric limits, which extend the notion of limits in categories to re-exive graphs of categories. We show that a number of parametric models of polymorphism can be captured in this way. We also axiomatize the structure of re exive graphs needed for modelling parametric polymorphism based on ideas of brations, and show that it leads to proofs of representation results such as the initial algebra and nal coalgebra properties one expects in polymorphic lambda calculi.