Difference between revisions of "Behavioural Equivalence"

<definition id="behavioural-equivalence">

 Suppose that C is a category with pullbacks and  a functor. Let  and  be coalgebras in C. If there is a cospan  in , then we say that the pullback  is a behavioural equivalence or kernel bisimulation for c and d.


</definition>

TODO:

• Compare to bisimilary and other notions. See [1]

References

1. Sam Staton, Relating Coalgebraic Notions of Bisimulation.