Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Coherence for Monoidal Monads and Comonads   The goal of this paper is to prove coherence results with respect to
relational graphs for monoidal monads and comonads, i.e. monads and comonads in
a monoidal category such that the endofunctor of the monad or comonad is a
monoidal functor (this means that it preserves the monoidal structure up to a
natural transformation that need not be an isomorphism). These results are
proved first in the absence of symmetry in the monoidal structure, and then
with this symmetry. The monoidal structure is also allowed to be given with
finite products or finite coproducts. Monoidal comonads with finite products
axiomatize a plausible notion of identity of deductions in a fragment of the
modal logic S4.

23
The categories of this paper are: solv-int
36
The categories of this paper are: cmp-lg
32
The categories of this paper are: atom-ph
20
The categories of this paper are: acc-phys
24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
14
The categories of this paper are: math-ph
30
The categories of this paper are: q-alg
35
The categories of this paper are: mtrl-th
16
The categories of this paper are: stat
25
The categories of this paper are: patt-sol
3
The categories of this paper are: physics
27
The categories of this paper are: comp-gas
6
The categories of this paper are: astro-ph
12
The categories of this paper are: nucl-th
21
The categories of this paper are: adap-org