Recursive types in Kleisli categories
Alexander Simpson · 1992
We show that an enriched version of Freyd's principle of versality holds in the Kleisli category of a commutative strong monad with fixed-point object. This gives a general categorical setting in which it is possible to model recursive types involving the usual datatype constructors.