Equivalence co-relatios and co-congruences of co-algebras

MaRDI QIDQ4924968zbMATH OpenFDO

Authors Dragan Mašulović

Publication date 10 June 2013

Mathematics Subject Classification ID

Relational systems, laws of composition (08A02) Subalgebras, congruence relations (08A30)

Recommendations

• Enhanced coalgebraic bisimulation
• scientific article; zbMATH DE number 1497870
• Relating coalgebraic notions of bisimulation
• Universal coalgebra: A theory of systems
• Operations and equations for coalgebras

Cited in

(19)

• A construction of equivalence subrelations for intermediate subalgebras.
• The algebra of partial equivalence relations
• Extensional quotient coalgebras
• Néron's pairing and relative algebraic equivalence
• A general Galois theory for operations and relations in arbitrary categories
• Equivalential algebras with conjunction on the regular elements
• Mutual embeddability equivalence relation for rotation algebras
• scientific article; zbMATH DE number 1617306 (Why is no real title available?)
• Congruence relations on R₀-algebras
• The co-frame congruence relation with its application in constructing a co-frame
• scientific article; zbMATH DE number 1829535 (Why is no real title available?)
• On the basic properties of correlations
• Relational properties of sequential composition of coalgebras
• Bisimulation and Hidden Algebra
• scientific article; zbMATH DE number 1497870 (Why is no real title available?)
• Invariants of monadic coalgebras
• Mongruences and cofree coalgebras
• Subcoalgebras and cocongruence corelations.
• scientific article; zbMATH DE number 3411257 (Why is no real title available?)

This page was built for publication: Equivalence co-relatios and co-congruences of co-algebras

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