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

zbMATH Open1274.08004MaRDI QIDQ4924968FDOQ4924968

Authors: Dragan Mašulović 

Publication date: 10 June 2013

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

Mathematics Subject Classification ID

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

Cited In (17)

• Title not available (Why is that?)
• Invariants of monadic coalgebras
• Congruence relations on \(R_0\)-algebras
• Relational properties of sequential composition of coalgebras
• Title not available (Why is that?)
• The algebra of partial equivalence relations
• Subcoalgebras and cocongruence corelations.
• Equivalential algebras with conjunction on the regular elements
• Extensional quotient coalgebras
• A construction of equivalence subrelations for intermediate subalgebras.
• The co-frame congruence relation with its application in constructing a co-frame
• Mutual embeddability equivalence relation for rotation algebras
• A general Galois theory for operations and relations in arbitrary categories
• Néron's pairing and relative algebraic equivalence
• Mongruences and cofree coalgebras
• On the basic properties of correlations
• Title not available (Why is that?)

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)