Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Concurrency Theorems for Non-linear Rewriting Theories   Sesqui-pushout (SqPO) rewriting along non-linear rules and for monic matches
is well-known to permit the modeling of fusing and cloning of vertices and
edges, yet to date, no construction of a suitable concurrency theorem was
available. The lack of such a theorem, in turn, rendered compositional
reasoning for such rewriting systems largely infeasible. We develop in this
paper a suitable concurrency theorem for non-linear SqPO-rewriting in
categories that are quasi-topoi (subsuming the example of adhesive categories)
and with matches required to be regular monomorphisms of the given category.
Our construction reveals an interesting "backpropagation effect" in computing
rule compositions. We derive in addition a concurrency theorem for non-linear
double pushout (DPO) rewriting in rm-adhesive categories. Our results open
non-linear SqPO and DPO semantics to the rich static analysis techniques
available from concurrency, rule algebra and tracelet theory.

3
The categories of this paper are: physics
8
The categories of this paper are: hep-ex
30
The categories of this paper are: q-alg
28
The categories of this paper are: alg-geom
21
The categories of this paper are: adap-org
20
The categories of this paper are: acc-phys
2
The categories of this paper are: math
16
The categories of this paper are: stat
27
The categories of this paper are: comp-gas
14
The categories of this paper are: math-ph
35
The categories of this paper are: mtrl-th
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph
18
The categories of this paper are: econ
7
The categories of this paper are: hep-th
25
The categories of this paper are: patt-sol