Invariants of monadic coalgebras

DOI10.1016/S1571-0661(04)80912-5MaRDI QIDQ4917042zbMATH OpenFDO

Authors Dragan Mašulović

Publication date 26 April 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

invariantsmonadscoalgebrasclone theoryco-relations

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20) Abstract data types; algebraic specification (68Q65) Operations and polynomials in algebraic structures, primal algebras (08A40)

Recommendations

• Calculating Invariants as Coreflexive Bisimulations
• Coalgebraic simulations and congruences
• Equivalence co-relatios and co-congruences of co-algebras
• Monadic second-order logic and bisimulation invariance for coalgebras
• Lax Invariant in Coalgebra

Cites work

• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 3650557 (Why is no real title available?)
• scientific article; zbMATH DE number 3952838 (Why is no real title available?)
• scientific article; zbMATH DE number 3366957 (Why is no real title available?)
• A category-theoretic account of program modules
• A general Galois theory for cofunctions and corelations
• Comprehending monads
• Mongruences and cofree coalgebras
• Universal coalgebra: A theory of systems

Cited in

(5)

• Lax Invariant in Coalgebra
• Modal operators for coequations
• Monoid properties as invariants of toposes of monoid actions
• scientific article; zbMATH DE number 1522664 (Why is no real title available?)
• Quotients in monadic programming: projective algebras are equivalent to coalgebras

This page was built for publication: Invariants of monadic coalgebras

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