Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: String Diagrams for Optics   Optics are a data representation for compositional data access, with lenses
as a popular special case. Hedges has presented a diagrammatic calculus for
lenses, but in a way that does not generalize to other classes of optic. We
present a calculus that works for all optics, not just lenses; this is done by
embedding optics into their presheaf category, which naturally features string
diagrams. We apply our calculus to the common case of lenses, extend it to
effectful lenses, and explore how the laws of optics manifest in this setting.

33
The categories of this paper are: plasm-ph
24
The categories of this paper are: dg-ga
7
The categories of this paper are: hep-th
17
The categories of this paper are: q-fin
34
The categories of this paper are: chem-ph
3
The categories of this paper are: physics
8
The categories of this paper are: hep-ex
15
The categories of this paper are: nucl-ex
25
The categories of this paper are: patt-sol
12
The categories of this paper are: nucl-th
11
The categories of this paper are: hep-lat
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph
19
The categories of this paper are: eess
13
The categories of this paper are: quant-ph
30
The categories of this paper are: q-alg