Identity-Preserving Lax Extensions and Where to Find Them

Sergey Goncharov, Dirk Hofmaan, Pedro Nora +2

Generic notions of bisimulation for various types of systems (nondeterministic, probabilistic, weighted etc.) rely on identity-preserving (normal) lax extensions of the functor enc…