Relating coalgebraic notions of bisimulation

摘要

The theory of coalgebras, for an endofunctor on a category, has been proposedas a general theory of transition systems. We investigate and relate fourgeneralizations of bisimulation to this setting, providing conditions underwhich the four different generalizations coincide. We study transfinitesequences whose limits are the greatest bisimulations.