Title: Lax Kleisli-valued presheaves and coalgebraic weak bisimulation

Abstract: We generalize the work by P. Soboci\'nski on relational presheaves and their connection with weak (bi)simulation for labelled transistion systems to a coalgebraic setting. We show that the coalgebraic notion of saturation studied in our previous work can be expressed in the language of lax Kleisli-valued presheaves in terms of existence of a certain adjoint situation between presheaf categories. This observation allows us to generalize the notion of the coalgebraic (weak) bisimulation to lax Kleisli-valued presheaves. At this level of generality interesting properties of strong and weak bisimilarity emerge: in the family of $p$-bisimilarities, which arises naturally in this setting, the former is the finest and the latter is the coarsest relation.