scientific article; zbMATH DE number 431768

zbMATH Open0797.18005MaRDI QIDQ3138544FDOQ3138544

Authors: Philip S. Mulry 

Publication date: 11 October 1994

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

factorizationsemanticsalgebrasCartesian closed categorycontinuous domainsEilenberg-Moore algebraeffective domainsdinatural transformationsfixed point operatorsstrong monadsfixed point object

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)

Cited In (9)

• Fixpoint operators for domain equations
• A remark on fixed points of functors in topological categories
• Lifting theorems for Kleisli categories
• Coproducts of monads on Set
• The Recursion Scheme from the Cofree Recursive Comonad
• Traced Premonoidal Categories
• A monoidal view on fixpoint checks
• Title not available (Why is that?)
• 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)