Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: States and exceptions considered as dual effects   In this paper we consider the two major computational effects of states and
exceptions, from the point of view of diagrammatic logics. We get a surprising
result: there exists a symmetry between these two effects, based on the
well-known categorical duality between products and coproducts. More precisely,
the lookup and update operations for states are respectively dual to the throw
and catch operations for exceptions. This symmetry is deeply hidden in the
programming languages; in order to unveil it, we start from the monoidal
equational logic and we add progressively the logical features which are
necessary for dealing with either effect. This approach gives rise to a new
point of view on states and exceptions, which bypasses the problems due to the
non-algebraicity of handling exceptions.

9
The categories of this paper are: nlin
5
The categories of this paper are: gr-qc
4
The categories of this paper are: cond-mat
37
The categories of this paper are: supr-con
25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga
23
The categories of this paper are: solv-int
26
The categories of this paper are: bayes-an
33
The categories of this paper are: plasm-ph
29
The categories of this paper are: funct-an
35
The categories of this paper are: mtrl-th
0
The categories of this paper are: hep-ph
18
The categories of this paper are: econ
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph