Contents

# Contents

## Definition

### In set theory

Let $S$ be a set equipped with a binary relation $\prec$. Then a bisimulation is a binary relation $\sim$ such that for all $x \in S$ and $y \in S$ such that $x \sim y$, the following conditions hold:

• for all $a \in S$ such that $a \prec x$, there exists a $b \in S$ such that $b \prec y$ and $a \sim b$
• for all $b \in S$ such that $b \prec y$, there exists a $a \in S$ such that $a \prec x$ and $a \sim b$

### In category theory

In Joyal-Nielsen-Winskel (p.13) is given the following definition. For what a “path category in a category of models” is, see there.

###### Definition

Let $P$ be a path category in a category of models $M$. Two objects $X_1,X_2$ are called to be $P$-bisimilar if there is a span of $P$-open maps $X_1\leftarrow X\to X_2$.

The relation of $P$-open maps and open maps is given by Proposition 11, p.32:

###### Proposition

If $P$ is a dense full subcategory of $M$, then $f$-is $P$-open iff $M(-,f)$ is an open map.