scientific article; zbMATH DE number 431768

MaRDI QIDQ3138544zbMATH OpenFDO

Authors Philip S. Mulry

Publication date 11 October 1994

zbMATH Keywords

algebrasCartesian closed categorycontinuous domainsdinatural transformationseffective domainsEilenberg-Moore algebrafactorizationfixed point objectfixed point operatorssemanticsstrong monads

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Semantics in the theory of computing (68Q55)

Recommendations

• Publication:4206923
• A characterization of the least-fixed-point operator by dinaturality
• On fixpoint objects and gluing constructions
• scientific article; zbMATH DE number 426302
• Categorical fixed point semantics

Cited in

(10)

• A remark on fixed points of functors in topological categories
• Fixpoint operators for domain equations
• On fixpoint objects and gluing constructions
• Coproducts of monads on Set
• scientific article; zbMATH DE number 426302 (Why is no real title available?)
• Traced Premonoidal Categories
• The Recursion Scheme from the Cofree Recursive Comonad
• Lifting theorems for Kleisli categories
• A monoidal view on fixpoint checks
• A characterization of the least-fixed-point operator by dinaturality

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3138544)