Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: How to combine diagrammatic logics   This paper is a submission to the contest: How to combine logics? at the
World Congress and School on Universal Logic III, 2010. We claim that combining
"things", whatever these things are, is made easier if these things can be seen
as the objects of a category. We define the category of diagrammatic logics, so
that categorical constructions can be used for combining diagrammatic logics.
As an example, a combination of logics using an opfibration is presented, in
order to study computational side-effects due to the evolution of the state
during the execution of an imperative program.

37
The categories of this paper are: supr-con
4
The categories of this paper are: cond-mat
34
The categories of this paper are: chem-ph
10
The categories of this paper are: q-bio
13
The categories of this paper are: quant-ph
17
The categories of this paper are: q-fin
33
The categories of this paper are: plasm-ph
31
The categories of this paper are: ao-sci
11
The categories of this paper are: hep-lat
14
The categories of this paper are: math-ph
12
The categories of this paper are: nucl-th
0
The categories of this paper are: hep-ph
32
The categories of this paper are: atom-ph
21
The categories of this paper are: adap-org
6
The categories of this paper are: astro-ph
28
The categories of this paper are: alg-geom