# Behavioural Equivalence

<definition id="behavioural-equivalence">

Suppose thatCis a category with pullbacks and a functor. Let and be coalgebras inC. If there is a cospan in , then we say that the pullback is abehavioural equivalenceorkernel bisimulationfor c and d.

</definition>

TODO:

- Compare to bisimilary and other notions. See
^{[1]}

## References

- ↑ Sam Staton, Relating Coalgebraic Notions of Bisimulation.