{"id":"arxiv/2605.12740","url":"https://arxiv.org/abs/2605.12740","tags":["math.CT","cs.ET"],"score":0,"title":"A Rigid Category of DNA Secondary Structures","domain":"math.CT","source":"arxiv","authors":["Andrés Ortiz-Muñoz"],"reviews":0,"subject":"math.CT","summary":"We construct a strict pivotal monoidal category $\\mathcal{D}_{\\mathrm{DNA}}$ whose objects are DNA sequences (words over $\\{A,C,G,T\\}$) and whose morphisms are isotopy classes of typed noncrossing planar matchings, composed of through-strands and Watson-Crick-typed arcs, in a rectangle with source and target boundaries. The dual of a sequence is its reverse complement, evaluation and coevaluation are canonical duplex pairings, and the snake identities hold by planar isotopy. A bending correspondence identifies each morphism $x \\to y$ with a secondary structure on the combined word…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-12","reactions":{}}