Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Uniform Interpolation for Coalgebraic Fixpoint Logic   We use the connection between automata and logic to prove that a wide class
of coalgebraic fixpoint logics enjoys uniform interpolation. To this aim, first
we generalize one of the central results in coalgebraic automata theory, namely
closure under projection, which is known to hold for weak-pullback preserving
functors, to a more general class of functors, i.e.; functors with
quasi-functorial lax extensions. Then we will show that closure under
projection implies definability of the bisimulation quantifier in the language
of coalgebraic fixpoint logic, and finally we prove the uniform interpolation
theorem.

17
The categories of this paper are: q-fin
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
0
The categories of this paper are: hep-ph
22
The categories of this paper are: chao-dyn
35
The categories of this paper are: mtrl-th
4
The categories of this paper are: cond-mat
11
The categories of this paper are: hep-lat
10
The categories of this paper are: q-bio
3
The categories of this paper are: physics
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
33
The categories of this paper are: plasm-ph
5
The categories of this paper are: gr-qc
28
The categories of this paper are: alg-geom
8
The categories of this paper are: hep-ex