Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2605.12740 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866916006932250624 |
|---|---|
| author | Ortiz-Muñoz, Andrés |
| author_facet | Ortiz-Muñoz, Andrés |
| contents | 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 $x{}^{\vee} y$; in particular, the generalized elements $\varepsilon \to w$ are exactly the non-pseudoknotted secondary structures on $w$. Composition, viewed in this straightened picture, is computed by a zip-and-transfer operation on complementary interfaces, a combinatorial rearrangement of base-pair connectivity of which toehold-mediated strand displacement is a kinetically specific instance. Because $\mathcal{D}_{\mathrm{DNA}}$ is rigid monoidal, it shares the categorical backbone of pregroup grammars and the DisCoCat framework for compositional semantics: a strong monoidal functor from a grammatical category to $\mathcal{D}_{\mathrm{DNA}}$ maps grammatical reductions to Watson-Crick base pairing and sentence meanings to secondary structures. We describe this functor and discuss connections to algorithmic self-assembly, composable strand-displacement circuits, and constructive dynamical systems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_12740 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | A Rigid Category of DNA Secondary Structures Ortiz-Muñoz, Andrés Category Theory Emerging Technologies 18M05 (Primary), 18N10 (Secondary) 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 $x{}^{\vee} y$; in particular, the generalized elements $\varepsilon \to w$ are exactly the non-pseudoknotted secondary structures on $w$. Composition, viewed in this straightened picture, is computed by a zip-and-transfer operation on complementary interfaces, a combinatorial rearrangement of base-pair connectivity of which toehold-mediated strand displacement is a kinetically specific instance. Because $\mathcal{D}_{\mathrm{DNA}}$ is rigid monoidal, it shares the categorical backbone of pregroup grammars and the DisCoCat framework for compositional semantics: a strong monoidal functor from a grammatical category to $\mathcal{D}_{\mathrm{DNA}}$ maps grammatical reductions to Watson-Crick base pairing and sentence meanings to secondary structures. We describe this functor and discuss connections to algorithmic self-assembly, composable strand-displacement circuits, and constructive dynamical systems. |
| title | A Rigid Category of DNA Secondary Structures |
| topic | Category Theory Emerging Technologies 18M05 (Primary), 18N10 (Secondary) |
| url | https://arxiv.org/abs/2605.12740 |