Recursive types in Kleisli categories

Alex Simpson

Recursive types in Kleisli categories

Alex Simpson

Research output: Working paper

Abstract

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 language	English
Number of pages	27
Publication status	Published - 1992

Access to Document

download 2

Cite this

@techreport{8bb830d158474a2b8da4f496e537f04e,

title = "Recursive types in Kleisli categories",

abstract = "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.",

author = "Alex Simpson",

year = "1992",

language = "English",

type = "WorkingPaper",

}

TY - UNPB

T1 - Recursive types in Kleisli categories

AU - Simpson, Alex

PY - 1992

Y1 - 1992

N2 - 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.

AB - 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.

M3 - Working paper

BT - Recursive types in Kleisli categories

ER -

Recursive types in Kleisli categories

Abstract

Access to Document

Fingerprint

Cite this