Weak Bisimilarity and Open Maps
by Slawomir Lasota

Abstract:

An alternative proof (to that from [CN95]) 
is presented for weak bisimilarity of
transition systems to be abstractly definable by open maps [JNW93].
This result arises from an observation that the categories (of transition
systems) well suited for studying strong and weak bisimulations
are related by an adjunction, giving a link between both bisimilarities.