Department of Computer Science, University of Edinburgh,
SVM HeaderParse 0.2
JCMB, The King's Buildings, Edinburgh, EH9 3JZ
SVM HeaderParse 0.1
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.
user correction - Legacy Corrections
Preprint 2004. MFPS Tutorial, April 2007 Classical Domain Theory 75/75