Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: First-Order Sketch Conditions and Constraints -- A Category Independent
  Approach   Generalizing different variants of "graph conditions and constraints" as well
as "universal constraints" and "negative universal constraints" in the Diagram
Predicate Framework (DPF), we introduce for arbitrary categories $\mathbf{Cxt}$
and "statement" functors $\mathtt{Stm}:\mathbf{Cxt}\to\mathbf{Set}$ general
first-order sketch conditions and constraints. Sketches are used in DPF to
formalize different kinds of diagrammatic software models. We discuss the use
of sketch constraints for describing the syntactic structure of sketches. We
outline the use of sketch constraints to deduce knowledge implicitly given in a
sketch as well as procedures to deduce sketch constraints from given sketch
constraints. We use the simple but paradigmatic modeling formalism "Category
Theory" as running example.

26
The categories of this paper are: bayes-an
18
The categories of this paper are: econ
23
The categories of this paper are: solv-int
27
The categories of this paper are: comp-gas
5
The categories of this paper are: gr-qc
15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con
2
The categories of this paper are: math
11
The categories of this paper are: hep-lat
32
The categories of this paper are: atom-ph
14
The categories of this paper are: math-ph
30
The categories of this paper are: q-alg
29
The categories of this paper are: funct-an
10
The categories of this paper are: q-bio
12
The categories of this paper are: nucl-th
28
The categories of this paper are: alg-geom