scientific article
From MaRDI portal
Publication:3138544
zbMath0797.18005MaRDI QIDQ3138544
Publication date: 11 October 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
factorizationEilenberg-Moore algebrasemanticsalgebrasCartesian closed categorycontinuous domainseffective domainsdinatural transformationsfixed point operatorsstrong monadsfixed point object
Semantics in the theory of computing (68Q55) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items
Lifting theorems for Kleisli categories ⋮ The Recursion Scheme from the Cofree Recursive Comonad ⋮ Traced Premonoidal Categories
This page was built for publication:
