Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Category Theoretic Solution of Recursive Program Schemes   This paper provides a general account of the notion of recursive program
schemes, studying both uninterpreted and interpreted solutions. It can be
regarded as the category-theoretic version of the classical area of algebraic
semantics. The overall assumptions needed are small indeed: working only in
categories with "enough final coalgebras" we show how to formulate, solve, and
study recursive program schemes. Our general theory is algebraic and so avoids
using ordered, or metric structures. Our work generalizes the previous
approaches which do use this extra structure by isolating the key concepts
needed to study substitution in infinite trees, including second-order
substitution. As special cases of our interpreted solutions we obtain the usual
denotational semantics using complete partial orders, and the one using
complete metric spaces. Our theory also encompasses implicitly defined objects
which are not usually taken to be related to recursive program schemes. For
example, the classical Cantor two-thirds set falls out as an interpreted
solution (in our sense) of a recursive program scheme.

17
The categories of this paper are: q-fin
35
The categories of this paper are: mtrl-th
22
The categories of this paper are: chao-dyn
4
The categories of this paper are: cond-mat
36
The categories of this paper are: cmp-lg
9
The categories of this paper are: nlin
29
The categories of this paper are: funct-an
37
The categories of this paper are: supr-con
6
The categories of this paper are: astro-ph
32
The categories of this paper are: atom-ph
26
The categories of this paper are: bayes-an
19
The categories of this paper are: eess
11
The categories of this paper are: hep-lat
8
The categories of this paper are: hep-ex
28
The categories of this paper are: alg-geom
21
The categories of this paper are: adap-org