Invariants of monadic coalgebras

DOI10.1016/S1571-0661(04)80912-5zbMATH Open1260.68244MaRDI QIDQ4917042FDOQ4917042

Authors: Dragan Mašulović 

Publication date: 26 April 2013

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

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

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)

Cites Work

• Universal coalgebra: A theory of systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• A general Galois theory for cofunctions and corelations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Comprehending monads
• A category-theoretic account of program modules
• Mongruences and cofree coalgebras

Cited In (5)

• Lax Invariant in Coalgebra
• Modal operators for coequations
• Monoid properties as invariants of toposes of monoid actions
• Title not available (Why is that?)
• 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)