# Behavioural Equivalence

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

<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.