Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Limits in Categories of Vietoris Coalgebras   Motivated by the need to reason about hybrid systems, we study limits in
categories of coalgebras whose underlying functor is a Vietoris polynomial one
- intuitively, the topological analogue of a Kripke polynomial functor. Among
other results, we prove that every Vietoris polynomial functor admits a final
coalgebra if it respects certain conditions concerning separation axioms and
compactness. When the functor is restricted to some of the categories induced
by these conditions the resulting categories of coalgebras are even complete.
As a practical application, we use these developments in the specification and
analysis of non-deterministic hybrid systems, in particular to obtain suitable
notions of stability, and behaviour.

5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
15
The categories of this paper are: nucl-ex
18
The categories of this paper are: econ
29
The categories of this paper are: funct-an
14
The categories of this paper are: math-ph
16
The categories of this paper are: stat
9
The categories of this paper are: nlin
33
The categories of this paper are: plasm-ph
32
The categories of this paper are: atom-ph
28
The categories of this paper are: alg-geom
37
The categories of this paper are: supr-con
0
The categories of this paper are: hep-ph
24
The categories of this paper are: dg-ga
34
The categories of this paper are: chem-ph
10
The categories of this paper are: q-bio