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.
- Compare to bisimilary and other notions. See 
- Sam Staton, Relating Coalgebraic Notions of Bisimulation.