Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Circuits via topoi   Leveraging topos theory a semantics can be given to sequential circuits where
time-sensitive gates, such as unit delay, are treated uniformly with
combinational gates. Both kinds of gates are functions in a particular topos:
the topos of presheaves over the natural ordering of $\mathbb{N}$. This is used
to show that sequential circuits validate the equational theory of traced
categories.

0
The categories of this paper are: hep-ph
26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
10
The categories of this paper are: q-bio
9
The categories of this paper are: nlin
28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
35
The categories of this paper are: mtrl-th
31
The categories of this paper are: ao-sci
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
3
The categories of this paper are: physics
22
The categories of this paper are: chao-dyn
29
The categories of this paper are: funct-an
37
The categories of this paper are: supr-con
32
The categories of this paper are: atom-ph