Recursive types in Kleisli categories

Alex Simpson

Research output: Working paper


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.
Original languageEnglish
Number of pages27
Publication statusPublished - 1992


Dive into the research topics of 'Recursive types in Kleisli categories'. Together they form a unique fingerprint.

Cite this