Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Coalgebraic Weak Bisimulation from Recursive Equations over Monads   Strong bisimulation for labelled transition systems is one of the most
fundamental equivalences in process algebra, and has been generalised to
numerous classes of systems that exhibit richer transition behaviour. Nearly
all of the ensuing notions are instances of the more general notion of
coalgebraic bisimulation. Weak bisimulation, however, has so far been much less
amenable to a coalgebraic treatment. Here we attempt to close this gap by
giving a coalgebraic treatment of (parametrized) weak equivalences, including
weak bisimulation. Our analysis requires that the functor defining the
transition type of the system is based on a suitable order-enriched monad,
which allows us to capture weak equivalences by least fixpoints of recursive
equations. Our notion is in agreement with existing notions of weak
bisimulations for labelled transition systems, probabilistic and weighted
systems, and simple Segala systems.

15
The categories of this paper are: nucl-ex
34
The categories of this paper are: chem-ph
3
The categories of this paper are: physics
12
The categories of this paper are: nucl-th
24
The categories of this paper are: dg-ga
30
The categories of this paper are: q-alg
16
The categories of this paper are: stat
37
The categories of this paper are: supr-con
35
The categories of this paper are: mtrl-th
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
17
The categories of this paper are: q-fin
7
The categories of this paper are: hep-th
32
The categories of this paper are: atom-ph
33
The categories of this paper are: plasm-ph
8
The categories of this paper are: hep-ex